add back the index.html file for later editing