The built-in editor for top-level posts is a little buggy. The first time I tried to edit a draft, it mangled the <pre> sections. From then on, I re-pasted every edit.
<pre>
The built-in editor for top-level posts is a little buggy. The first time I tried to edit a draft, it mangled the
<pre>
sections. From then on, I re-pasted every edit.