attila@963: <p>This is some HTML:</p>
attila@963: 
attila@963: <pre><code>&lt;h1&gt;Heading&lt;/h1&gt;
attila@963: </code></pre>