I don't have known extensions hidden, bipper. And I used to write html files back when I used windows 95. It just doesn't save them with a .txt affix. I know this, because I upload them exactly to my site.
Crash, you don't have to change the file encoding. Just type crashesfile.html in the name blank.