<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention" rel="nofollow noopener" target="_blank">@<span>dabeaz</span></a></span> the iron rule: first domainname, then hosting, then figuring out whether the project is still interesting enough to pursue... 😅</p>