There *is* an unaffiliated/unofficial Discord where all the usual wackjobs congregate. But as far as I can tell, *no* official Arch channels spew this nonsense. Here's to him getting sidelined.

if they do that, it'll be an easy fork , so I'm not worried