<p><span class="h-card" translate="no"><a href="https://types.pl/@ionchy" class="u-url mention">@<span>ionchy</span></a></span> I always thought Coq should be stylized CoQ for consistency, which would make this joke by <span class="h-card" translate="no"><a href="https://types.pl/@koronkebitch" class="u-url mention">@<span>koronkebitch</span></a></span> even funnier <a href="https://twitter.com/koronkebitch/status/1096551857454018560" target="_blank" rel="nofollow noopener noreferrer" translate="no"><span class="invisible">https://</span><span class="ellipsis">twitter.com/koronkebitch/statu</span><span class="invisible">s/1096551857454018560</span></a></p>