Supervisor/supervisor — pull request #368 by jszakmeister (2014-01-29 10:48:19+00:00)
Title: 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".