Update index.html

Updating HTML file by hand because I'm too lazy to run ikiwiki at this moment.