Right-click the HTML file, select "Open With" and then click "Notepad." The file is opened in Notepad. Click "File" in the top left corner of the window and select "Save As" from the drop-down menu.