Yeah it's unfortunate it takes this much work to filter out the majority of the extremism, but I'm thinking it might be worth it. It took about 6 months to block the worst users on nextdoor but it made my feed infinitely more useful and pleasant, I am guessing the same thing here, time will tell.