Recovering from weird delete of index.html.