As he expands on it later, it was a deliberate choice of gendered pronoun given (a) no particular need for it and (b) a perfectly acceptable alternative being provided. Additional context is that Ben not only rejected the PR, but then reverted it after another dev accepted and merged it.