Copying code from the posts

[pireddag]

Formatting of the code is not preserved when copy-pasting from a blog post to the TeXmacs editor. There are line breaks where they should not be and the copied text is wrapped inside a "code" macro. In order to get the code---with the right line breaks---into TeXmacs one has to "paste from verbatim". Is it possible to change something in the html so that this does not happen, or should one change something in TeXmacs (the additional line breaks might be a bug) or should we add a note about this so that people know they should "paste from verbatim"?