>>It also affects a *lot* of existing messages, such as Thread #365455 Message #365737. I doubt you could ever fix them all manually...
>
>Yes, of course, as I said, it's already in my list of things to do to standardize all this. I'm working on it since two hours now.

Michel,

I'm not sure, it was a good idea in General. Check this message Thread #610213 I would live PRE tags the way, they're now and imlement new tags for auto-coloring, say, PRE1 /PRE1