Rename html04 to html04.html