renaming html file shorter