This doesn't solve the problem of offending those who get offended by such things, or feel excluded by the use of a particular pronoun. It just kicks the can do

This doesn't solve the problem of offending those who get offended by such things, or feel excluded by the use of a particular pronoun. It just kicks the can down the road because there are people who don't identify as either biological gender, or both, or a third gender, so if this sort of change absolutely must be done then it's better to just switch to a genderless -- if technically inappropriate -- pronoun. The tone of the exchange on this PR seems pretty bullying & hostile, on both sides. It's why gender "politics", along with politics in general and religion, has become a topic I absolutely will not speak about with people.