Link the documentation to its source file on GitHub.