<p><span class="h-card"><a href="https://fosstodon.org/@faassen" class="u-url mention">@<span>faassen</span></a></span> Still doesn&#39;t help them to reason about the code, though.</p>