I’ve muted him, and I’m sure many other people have. Honestly if he leaves and that makes some of his fans leave too, I don’t see how that would do that much except for slightly raise the quality of conversations across the board!