<p><span class="h-card" translate="no"><a href="https://functional.cafe/@loke" class="u-url mention">@<span>loke</span></a></span> the countdown function is the one I'm really interested in; computing the lengths of the runs in its outputs was just something else I noticed.</p>
