Earlier quoted context omitted.
Another corollary should immediately follow: If an average woman in the industry is that much better than an average man, where are all the female-only companies? Does nobody want money in a capitalist society?
How much is 'that much'? The effect is probably small but what is more important it is not about a moved centre of (a Gaussian) distribution - but rather about a higher threshold usually used for women to pass. This is of course very much dependant on the distribution shapes and I am too lazy to make a thorough analysis - but: Let's assume that on average females were 10% more efficient programmers - but with the eff…
I think that depends on how your hiring process looks like in general. You might, for example do a benevolent (from a certain POV) discrimination and simply start filtering applicants with something like a naive 20-line Python script that matches applicant names against female names from a dictionary and pushes them to the top of your applicant stack, so to speak.
And there are less tangible or directly measurable, but nonetheless important benefits to hiring women for a business: You can get free publicity and marketing if you run a successful women-only shop, there is a significant demand in the liberal media for female success stories and you can ride that wave.