Mining mountains in the name of development needs a serious rethink. Large-scale extraction of rough stone, gravel, m-sand, ...