<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@<span>whitequark</span></a></span> well there's been <code>auto</code> and similar tactics in stuff like Rocq for forever, it's not like people haven't tried to automate it</p>