Sex neutrality in game theory

The following passage (abridged) is from the preface to my game theory text book (Martin J. Osborne's An Introduction to Game Theory (2004)). To view the whole preface, Osborne's sources, and other parts of his book and work, check out his website.

The English language lacks a third person singular pronoun widely interpreted to be sex neutral. In particular, many experiments have shown that "he" is not neutral...whereas people may say "when an airplane pilot is working, he needs to concentrate", they do not usually say "when a flight attendant is working, he needs to concentrate." To quote the American Heritage Dictionary, "Thus he...is not simply a grammatical convention; it also suggests a particular pattern of thought." Like many writers, I regard as unacceptable the bias implicit in the use of "he"...Writers have become sensitive to this issue in the last fifty years, but the lack of a sex-neutral pronoun "has been felt since at least as far back as Middle English " (Webster's Dictionary of English Usage). A common solution has been to use "they"... [this] can create ambiguity... I choose a different solution: I use "she" exclusively. Obviously this usage, like that of "he",  is not sex neutral, but it may help to counterbalance the widespread use of "he", and it seems unlikely to do any harm.

Game theorists taking up the cause of linguistic sex neutrality? What is this world coming to?!