Stub out index.html.