flesh out index.html
change index.html in some trivial ways