fix links in documentation on GitHub Pages