Very rough comments on index.html.