I am indifferent.
On the one hand, most of their behavior deserves a community ban for sure. But I don’t know that I agree it deserves defederation.
That said, if the claims of intentional brigading and DM harassment are true, I’d lean more towards defederation.
Yeah sure why not