If anybody is interested, using Fediverse Observer I just pulled this - Mastodon servers, filtered by Active Users.
While, yes, mastodon.social does have over half the users - I do think the situation isn't as bad as people make out, Mastodon itself would continue to function without the main server (far less so without the foundation behind it).
