Somehow this bug never hit us in the last two decades, but it reared an ugly head now. Fixed now, will be active NCR (in about 15 minutes).
HTML use enabled
Smilies option ON Smilies lookup table