HTML renderer: literal blocks should be enclosed in <pre><code>, not
<code><pre>