I want to be clear I am not advocating de-federating from mastodon.social today. I used de-federation as an example to underline the problem related to the size of m.s.
And as many people have noted in replies to this thread, there are many other tools at admins'/mods' disposal, like silencing an instance.
Defederation is a nuclear option and should only ever be used as an absolutely last-resort.
@rysiek But on the other hand, defederating mastodon.social would be both deeply ironic and absolutely hilarious for about the first 6 hours, followed by 18 weeks of being a bit cruel and unnecessary, before finally becoming funny again. Alas, moderators must be more philosophical in their outlook, so the joke must remain unpractical.