I don't think we should extrapolate to what kind of people work on linters or even on how the author thinks. I think the article and the contributions both come

I don't think we should extrapolate to what kind of people work on linters or even on how the author thinks. I think the article and the contributions both come from good intentions, and I even agree with the two linting rules. What I don't like at all is the tone of the article. Part of the role of linters is education, and education shouldn't be done with that tone.