Etymology
Today it means: A miner who makes excavations in hard strata other than coal. Full definition →
From stone + -man.
Etymology from Wiktionary, CC BY-SA 4.0.