You were told three years ago about the programmes that exist to correct the gender balance in each of those industries.

https://news.ycombinator.com/item?id=6508777#6509275

Women in mining: http://internationalwim.org/

http://www.womeninmining.org/

Women in construction:

http://www.nawic.org/nawic/default.asp

(some editing to tone it down a bit.)

It's a bad idea to attack someone for taking extra effort to strip inflammatory stuff out of their comments. That's exactly what we want commenters to do.