As I mentioned the problem in my case is resolved by commenting out the editor 'downgrade' and giving TinyMCE to all users of the forum.
But that is not a fix for the problem. The problem would still exists if the user quotes a html message with an bb code editor enabled in the user profile.
Yes, agree. I should have called it a 'workaround'.