Don't worry. When we're talking cave time & scale, a few holes drilled in the rock is a drop in the bucket. It's really only when you have unusually numerous human visitors, particularly the oils from their hands, that kill caves.

I understand your sentiment, but caves are a geologic phenomenon, and on that scale this is not even a geologic blink. So breathe easy, and save the torches & pitchforks for when they want to turn it into an amusement park :)

Yes, it was a sour-face moment when I saw that. In fact I came back to HN to see if anyone else saw it. The hidden majesty and serenity of nature, suddenly revealed, is defiled by our invasive devices.