Enhanced links to github-hosted HTML files