I see no Irish connection either
Some time ago Jim Bainbridge attempted to search out Irish miner's songs, with no luck, I presume
There ae several mining musieums in Ireland, Castlecomber, Arigna and Allies (copper), but the industry was small and is poorly researched - any research sheems to be to attract tourists (tha maybe unfair to local historians)
I'd be very interested to larn if there are ANY Irish mining songs; the local song-making traditions appear to have covered every other area of human existence
Jim Carroll