During WW1 many miles of tunnels were dug using miners from the coalfields of Yorkshire and South Wales. But has there ever been a formal army trade of miner? If not, what would the miners have come under - which corps would they have served with and what would have been the eligibility for such a role? I suspect it would have come under Royal Engineers, but I can't think of anything other than that. Any ideas anyone?