Re-application of changes from #880 to correct branch

@ekuttan's changes where directly applied to the gh-pages branch. We automatically update that from the content of "web" in the master branch using a script, so the changes have to be applied to "web/index.html".