I wrote this in hopes of preƫmpting the predictable reaction that gendered pronouns ought to be neutralized as soon as they change from masculine to feminine. It turns out, I was right about that.
Based on your feedback, I just tried editing my comment on GitHub, in order to make it less cheeky. However, I was unable to do so because that pull request is now locked after receiving a despicable comment from a troll. 