Add a trivial index.html