I loved that language. I actually forked it, used it for a lot of stuff, bloated it (started by just trying to port to x86-64, ended up with a mini-FORTH with regexes, FFI to C, etc.). I still use it every day, though mostly for doing math in hex.
Looks like you are correct, yeah, and the raw logs show 7,410 of the 10,729 live instances have it. Lemme hack it in real quick; I can't put it onto the big pages and not sure how well adding another column to that table will work, but give me like five minutes.
That'd be cool, but it just uses publicly available APIs for this. Most of the data like that isn't reported through the public APIs across various types of software. Bad data is tossed out (e.g., the you-think-your-fake-numbers-are-impressive.well-this-instance-contains-all-living-humans.lubar.me lists over 7 billion accounts) but data that is (as far as I know) accurate is presented as-is.
This applies if you're thinking of Twitter as a business or as a tool for mass-broadcast. If you think of something with a similar format but that fits a different space, that's the use for the Fediverse: it's more like USENET or BBSs or even 2008 Twitter than it is like 2022 Twitter.