[veezh]

Originally Posted by DiapDealer

There is no "Convert these unicode characters to html entities" tool. But it shouldn't be too hard to save some regex or a python S&R function to do what you want.

Brilliant -- thank you, DiapDealer, for this! I'm going to check it out now.