Change example file names to start with "html"