Renames html_* files to *.