renaming examples.html