In linux, there is a small program called "recode":
recode html..utf8 file.html
(it will also change all &, < and > to &, < and >, though)
I'm sure any decent HTML editor will have an option for that.
By the way, that way of coding characters is not "ascii", but numeric character references.
|