I grew up in Hope, near Castleton, and worked for several years as a tour guide at Speedwell Cavern which is a failed lead mine from the 1700's. This was a fascinating read as I knew lots of the later history, but as the article points out, the earlier history is much less well known.