Fixes #1352

drop the `index.html`