I didn't even know this "community" was even here, mostly because that's just one guy and a half talking to themselves.
1-2 angry contrarians is hardly a community but still,
I'm not a big fan of being associated with that.
Defederation as the one and only step is a bit nuts to me, as there are 6k+ other users here.
By that logic, anyone that ever had a reddit account also supported /r/thedonald back then, which is just not the case.
As for what to do with that troll, I couldn't care less if they get the boot, yet evading a ban on here isn't exactly hard.