Damned if you do and damned if you don't.
Anyway, I do not want to sidetrack from this amazing achievement.
I kinda hate the recent trend to focus more on gender or race if somebody achieves anything. Look what Morgan Freeman said about racism . Is it really important that she is a woman? Do people think a lot of women can't achieve these things? And if 1 woman achieved this, all women are better than men? Do everybody just expect men to be smarter and if they do something outstanding it's ok, but when a woman does it, it's extraordinary... Why focus so much on this?
In discussions like this we should really focus on the person (and also the team behind her/him, I doubt she could do it alone without the team), not the gender or race or whatever.
I really hope this positive discrimination hype dies out, it doesn't help anybody. Let the best person for the job get the job.