Renaming the example page in html, because PHP is not actually needed