Women are discriminated against in the industry as a whole
I would expect in 2019, that the industry as a whole discriminates in favor of women, but I'm just a layperson when it comes to that. Do you have citations?
It may be that it has changed very recently, but a few years ago there were quite a few studies that showed an anti-women bias in evaluating employees. For example, here's a quickly Googled cite that talks about a preference for resumes with male names over female: https://www.aauw.org/2015/06/11/john-or-jennifer/
This could even still be true at Google, though I don't have insight into whether or not it is. It seems at least plausible that Google has put systemic biases in place to balance out more diffuse bias among individual humans, but has done too thorough a job.
