The problem that I think we may have is that the amount of info put out by this user makes the rest of us into mostly passive readers as it is a full time job to read it all (including links)
You misunderstand. There are several problems with only using mute to solve this. First of all, he says many interesting things, and I would have preferred to see those, if he can keep
the volume down a bit. Second, if I censor I will not know which topics have new stuff because he posts to so many of them, and the topics show censored messages as new.