Added the sources for the GitHub Pages index.html.