<p><span class="h-card" translate="no"><a href="https://mastodon.social/@dabeaz" class="u-url mention">@<span>dabeaz</span></a></span> maybe put that in the readme and move on from it to things that interest you. I learned a great deal from your essential reference decades ago. But I didn't expect you to keep it up forever.</p>
