Rename html to html.txt