<p><span class="h-card" translate="no"><a href="https://types.pl/@disconcision" class="u-url mention">@<span>disconcision</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@zhxsdm" class="u-url mention">@<span>zhxsdm</span></a></span> <span class="h-card" translate="no"><a href="https://mathstodon.xyz/@j2kun" class="u-url mention">@<span>j2kun</span></a></span> <br />So they renamed it away from Luna to Enso to avoid collisions, thereby creating a new (admittedly very obscure) collision? It's particularly confusing because there are so many potential similarities between the two Enso's! (And funnily, I don't know any other tool called Luna, though they must be several.)</p>
