This wasn’t a place I ever expected to be.

Seems like a lot of people are wanting to leave Twitter. This post on Mastodon got thousands of favourites and boosts: https://mathstodon.xyz/@timhutton/109316834651128246 (which in itself is pretty crazy!)

With great popularity comes great maintenance burdens. But there are lots of incoming PRs with people improving the little script, which is heart-warming.