Apologies, wasn’t meant as a complaint :/
And adding the pre before the copy/paste and the /pre after doesn’t take more than 5 seconds.
The tag simply wasn’t working for some reason, and I didn’t have time to meddle with it just then. There are often times when the spell checker doesn’t work properly either, so I don’t take time to correct the typos. Since sometime last year there are often times when the spellchecker obstinately highlights every word in the post. Sometimes getting a timely but misformatted message out is more important than getting the form correct.