Make the docs actually work on GitHub.