index.html: clean up