Update index.html with some trivial HTML