@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.