I agree with you 100%. The post in question specifically mentioned ridicule, including comments like “wat” and “stupid pull request of the day”. That's derision, not bluntness.
While I try to be polite regardless, I have no strong issue with people who are blunt by default (I also happen to think there's a fine line between bluntness and rudeness, but that's a different topic altogether). I think the key of what you said is “once they've made it clear they're intentionally” doing what they're doing. That is what makes a person toxic. Missing documentation or contribution guidelines or what have you on the first try, less so. On the second try, I'd say bluntness is in order (“we've already asked you to do X, please keep that in mind in future requests” or somesuch). After that, you're dealing with a person who is dragging down both your community and your own time. That's a problem.
And still, it's more productive and beneficial to the community as a whole to be blunt rather than derisive.
While I try to be polite regardless, I have no strong issue with people who are blunt by default (I also happen to think there's a fine line between bluntness and rudeness, but that's a different topic altogether). I think the key of what you said is “once they've made it clear they're intentionally” doing what they're doing. That is what makes a person toxic. Missing documentation or contribution guidelines or what have you on the first try, less so. On the second try, I'd say bluntness is in order (“we've already asked you to do X, please keep that in mind in future requests” or somesuch). After that, you're dealing with a person who is dragging down both your community and your own time. That's a problem.
And still, it's more productive and beneficial to the community as a whole to be blunt rather than derisive.
Anyway, yeah, net net, I fully agree :)