<p><span class="h-card" translate="no"><a href="https://chaos.social/@gsuberland" class="u-url mention">@<span>gsuberland</span></a></span> (this is sufficiently important in principle that so will prjunnamed. what you should do is to use a frontend like Amaranth, which has no-undef-by-default, and also a bunch other stuff you want to do anyway if you're building an ASIC)</p>
