Update index.html.

HTML copied from github, produced from README.mediawiki.