Mining Harms the Environment. How Significant Is It?

The resounding statements by Elon Musk and other market participants about the dangers mining presents for the environment were one of the reasons for the correction. Yet, how fair are these arguments?