Perhaps we just triple backtick this, and any other `<pre>` tags, for the syntax highlighting?