Update documentation

1 Attempt to standardize on “Coordinator” … some documentation and code
uses “Supervisor”
2 Review and update older documentation to make it more consistent with
current design.