Defederation is a tool of last resort. Before taking that step as a community we should attempt to engage the admins to align them towards more acceptable behavior. Migrating communities away from instances with petty and abusive admins is always a good idea, and this absolutely qualifies.