This is true but coal mining is just as bad and requires orders of magnitude (mineral fuels) more excavation than all of the other minerals combined. If we can stop mining coal by using renewables the total amount of mining will be a fraction of what it currently is. Plus many of the other minerals can be reused where coal just ends up as carbon in the atmosphere.