The famous people did move over for certain specific groups; app developers are pretty much all on Mastodon now, the WWDC chatter / visionOS experimentation / etc is way more active on there than on Twitter. (Of course if any group ought to be uniquely pissed off at both Twitter and Reddit, it’s app developers)