Fix the link to the GitHub repo in the documentation.

GitHub's user and organization names are case-sensitive, so we must use
"Supervisor" rather than "supervisor".