Could you change the formatting here just like you did below; e.g. 4 spaces after an empty leading line? This leads to same effect. I personally do not like the `<pre><code>`-muck inside the docs.