And, it's also worth noting that defederating doesn't actually provide the "zero tolerance for Nazis" experience, anyway. Because of the way things propagate, entire conversations can happen around your posts without your instance being involved and without you ever seeing it. That's unintuitive, to put it mildly, and it's kind of an even more hostile implementation of the quote-tweet pile-on tactic used over on Twitter. The classic Polite Nazi infiltration tactic works here.