<p><span class="h-card" translate="no"><a href="https://types.pl/@krismicinski" class="u-url mention">@<span>krismicinski</span></a></span> <span class="h-card" translate="no"><a href="https://mastodon.nz/@va2lam" class="u-url mention">@<span>va2lam</span></a></span> <span class="h-card" translate="no"><a href="https://recurse.social/@lindsey" class="u-url mention">@<span>lindsey</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@zyang" class="u-url mention">@<span>zyang</span></a></span> Yep, exactly.</p>