the.com/mining

means The extraction of minerals, metals, or other materials from the earth, usually by digging, blasting, or boring.

from From Old French 'miner' (to dig, tunnel, mine), which came from Medieval Latin 'minare' — originally meaning 'to drive' or 'to lead,' as in driving a tunnel or driving animals. The word's deeper roots are uncertain, possibly tied to a Celtic root for ore or vein of metal, but the trail fades before certainty sets in. By the time it reached English around the 1300s, it already carried the sense of tunneling into the ground after what's buried there.