Update index.html

Experimenting with editing on github.