Renaming example.html