In the meantime, those interested can use this solution locally.

Drag this shortcut and drop it on your Links toolbar:

[*] <a href="javascript:(function(){var c=document.all.tags('pre');for(var i=0;i<c.length;i++)with(c(i))void(outerHTML=outerHTML.replace(/\x3CBR\x3E/g, '\n'));try{void(document.styleSheets(0).addRule('PRE','color:darkviolet'))}catch(e){}})()" target="_blank">Fix code tags</a>

A new button, titled "Fix code tags," will be created on the toolbar. Click it before you copy, and when you paste the code will come out formatted properly.