Patch up new name references in index.html