And arguments like that in some cases raise a valid point. But when "X" is morally repugnant, your argument appears cold, calculating and statistical.
If you want warm, emotional and opinionated point, let me bring one that also is supported by the available data. 12.5% is horrible, and that the underlying trend today is steadying pointing downwards is nothing less than a complete failure of gender equality politics. A society that speak of gender equality should not accept it, and even more it should be repulsed by the fact that many of the 90%+ profession have the government as the employer. It shows a strong lack of compassion and understanding on what such work environment do to people, and by focusing the political discussion elsewhere it cowardly avoids scrutiny. If we see people feeling marginalized for being one odd in every 5, imagine how exposed it would be to be 1 odd out of every 300.
To bring in some numbers (from Sweden since our government collects it), only 12.5% of those that are employed work in a profession that are consider gender equal and thus have more than 40% of both women and men. 87.5% of people do not, and the tech industry with its ~79%-21% ratio is very average in that group. In contrast we got 38 different profession with 90%-10% gender distribution which employ a very large portion of all employed.
Maybe a reason why we tend to inflate the tech industry problems are that there simply are more people here that can be marginalized (for which a subset will write a blog post which then has a chance to end up on HN). A profession that is 99,6 women, or male profession with 99,4 men, will simply not have many people complain that they are feeling marginalized, since the minority gender could almost be seen as a statistical error.
Google translation of the statistics: (https://translate.google.com/translate?sl=auto&tl=en&js=y&pr...)