Rename .html5 to html