Renamed example html file.