you mean this one 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.