Is there a list of instances where mountains that have been mined out of existence? Reading the Wikipedia entry for the Australian town of Broken Hill, I came across the following piece of trivia (emphasis mine):


  The "broken hill" that gave its name to Broken Hill actually comprised a number of hills that appeared to have a break in them. The broken hill no longer exists, having been mined away.


Surely there must be many other examples of this happening over the course of human history? I haven't been able to find any.

Is there a term for mountains or hills that have been wiped out of existence due to mining or some other human activity? Or perhaps a list of such instances?
Of course it happens elsewhere! However, I'm not sure there's a specific term, generally. Even in the "montaintop removal" country of Appalachia, there is no more prosaic term for the practice other than MTR. Too bad! It surely deserves a better term!





And...despite the complete excising of an entire mountain within the Oquirh mountains, even the Salt Lake City population has no term for Complete Mountain Removal!