Are there any pieces anywhere about comment gendering being an issue to female programmers? (My short googling failed me)
Replacing "him" with "the user" might seem inconsequential, but it's a tiny step in the right direction. A few million more like that and we'll be getting somewhere.