Unfortunate but very much necessary to stop the spread of their hatred. This is why it's important to have a team of admins, so that it's less likely that the person running the server doesn't just disappear one day and they can continue maintaining it even if the main person isn't there. Maybe if you're an individual instance you can't afford to hire a team of people, but you could get a group of friends together and have all of you work together to run it, think of it like a group passion project it's important to make sure that something like this doesn't end up abandoned otherwise it can cause problems for others if people start abusing it.

I know a lot of people are in doubt about how bad it is, but I went there and I looked at it and it's honestly terrible worse than the Donald on Reddit (if anyone can remember that) we don't want to rehost that kind of stuff on this server, we don't want to be associated with those kinds of people, it's not worth it. They can still have their free speech on their platform, just not on our server and we don't have to put up with it.