Update index.html

Just testing this editor in github.