Comment by tuckerman

A bit off topic, but I simply thing this is the commenter trying to be grammatically correct without using "him" as is standard in English. I've noticed quite a few writers lately (especially in tech) doing this more often. I seemed to remember RMS doing this in a recent post of his, using feminine pronouns as the generic singular 3rd person.