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?