<p><span class="h-card" translate="no"><a href="https://chaos.social/@gsuberland" class="u-url mention">@<span>gsuberland</span></a></span> vivado, for all its flaws, gets a shocking amount of these things right, and it's actually been nice to think about implementing all those features but in a modern open source implementation</p>
