you mean this one https://github.com/SerenityOS/serenity/pull/6814 three years ago? yeah that was not the nicest reaction. Bridgading in that old thread and the thread about the accepted and merged PR was not nicest reaction as well.
Also the merged PR was way more of substance and didn’t just replace he
with they
in that one line whereas there were several occasion where that issue occured in the same file. If the original one would have been merged, the documentation file would be inconsistent.
As someone who hasn’t bothered to read any of the detail about this whole mess until just now, the comments from three years ago were all relatively civil, even if the response by the developer was dismissive. That this was corrected within 6 weeks and people are still talking about it is pretty impressive, though. Looks like people are trying to make enemies, not converts.