Comment by shaoonb

Using "he" as default is just as much of a political stance as using "they" as default. The fact that whoever rejected this PR thinks that pronouns are "political" gives me a pretty good guess as to their overall political leanings.