if I write something like: ``` `Uint<LIMBS>` ``` It will eventually render as: ``` <code>Uint<LIMBS></code> ``` but with this extension it renders as: ``` <code>Uint&lt;LIMBS&gt;</code> ``` which displays as <code>Uint&lt;LIMBS&gt;</code> instead of <code>Uint<LIMBS></code>
if I write something like:
It will eventually render as:
but with this extension it renders as:
which displays as
Uint<LIMBS>instead ofUint<LIMBS>