Minor: best to remove index.html in case we change the implementation later.