Renaming of html files