Brigading was definitely not a justified act. That was wrong and extreme, and shouldn’t have been done. However, this still doesn’t excuse the closing reply to the PR.

People are losing their shit … over comments in the source code and a single line of documentation?

This is quite ironic, considering the first person in the PR seems to be the person who closed the issue.