Some mining content is coming up in (including many other links that could be checked for relevance):
Ye olden days cave names
I’ve recently read through a couple of older publications about the caves in Yorkshire, the first being “A tour of the caves in the environs of Ingleborough and Settle" By John Hutton, published in 1780. The second was "Cave Hunting" By William Boyd Dawkins (who was a mate of John Birkbeck)...
ukcaving.com