No I didn't suggest this.
My question was not about energy policies. Let's substitute coal miners for waste collectors (colloquially referred to as garbage men, because 99% of them are male), and ask the question again.
Garbage collection is male dominated -- should we push more women into becoming garbage collectors?
On the other hand, ~42% of meat processors are women; that is certainly a dirty, dangerous unfun job.
The real male-dominated industries are lawn care, sewage treatment, and repair and maintenance. Coal mining is too small an industry to report demographics, but mining as a whole is "only" ~88% male.
I honestly don't know where I stand on that. While I absolutely believe that much of the disparity in preference is cultural, I'm apt to believe that some of it is biological. Further, I'm not sure eradicating that cultural bias is beneficial.