I'm wondering if it's possible or feasible to remove a core dev from the "team" - I get that they're all over the place and just commit to git, but surely there's something we can do. I don't really care if they're genuinely bad actors or just incredibly insensitive people - if the result is changes that the community objects to, then there must be some mechanism to... lock them out, stop their funding, whatever, idk.