`<var>`s inside `<pre>`s get preprocessed away

<pre><code class="lang-javascript">global1.Zone.current; // succeeds
global2.Zone.current; // throws: <var>currentRealm</var> = <var>realm1</var>; <var>thisRealm</var> = <var>functionRealm</var> = <var>realm2</var>

const getter1 = Object.getOwnPropertyDescriptor(global1.Zone, "current").get;
const getter2 = Object.getOwnPropertyDescriptor(global2.Zone, "current").get;

getter1.call(global2.Zone); // throws: <var>currentRealm</var> = <var>functionRealm</var> = <var>realm1</var>; <var>thisRealm</var> = <var>realm2</var>
getter2.call(global1.Zone); // throws: <var>currentRealm</var> = <var>thisRealm</var> = <var>realm1</var>; <var>functionRealm</var> = <var>realm2</var>
</code></pre>

the output no longer contains the <var>. I think in general it's good to be able to call attention to certain things typographically inside examples even if you couldn't type them that way in a text editor, e.g. <var>, <mark>, <ins>, <del>, etc.

Use the HTML example in the issue as the reproduction case and inspect the preprocessing path that removes the elements inside

. Done means typographic tags such as , , , and  remain in the generated output while the code example still renders correctly.