Hi Michel,

In old messages, FAQ's e.t.c. people used HTML tags to bold or color text. Now it shows as tag. Take a look at faq #7997 for example. I don't think it was a good idea to change PRE tag bechavior because it affects existing context. I think that another tag should be used for that.