Added a non-trivial index.html.