Direttamente dal blocco note:
Ciò non toglie che anche se te lo salvasse con l'estensione
.txt, potresti sempre cambiarla con
.html.
Potrebbe essere necessario
deselezionare l'opzione
Nascondi le estensioni per i tipi di file conosciuti (in pannello di controllo\aspetto e personalizzazione\opzioni cartella - scheda visualizzazione).