examples/sample0*/: rename sample*.html