More renames also in the index.html