I kinda hate the recent trend to focus more on gender or race if somebody achieves anything. Look what Morgan Freeman said about racism [0]. 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.
Damned if you do and damned if you don't.
Anyway, I do not want to sidetrack from this amazing achievement.