> even more massive Kola Superdeep Borehole?

Kola Superdeep Borehole is not massive. It's a small cylindrical hole in the ground: https://en.wikipedia.org/wiki/Kola_Superdeep_Borehole#/media...

Mponeng is a massive continuously commercially operating mine with 5k workers