[roysvork]

Urgh, gender bias much?

[err4nt]

In english you can use the male form for cases where gender isn't specified. This still works for either a man or a woman.

[serge2k]

Yeah, but you have to say her now or you get bitched at for being biased.

[Raphmedia]

Such "bitching" is seen very badly on HN and will get down voted. There is no need to be wary of such comments because they will simply turn grey and fade out.