renames example html file