Just click the "save" button in your browser - the file gets saved as a .html.