Renaming repo and html file.