I think there is an error/misconception in the first paragraph about this mine being the deepest spot on land ever explored (unless they mean by people physical

I think there is an error/misconception in the first paragraph about this mine being the deepest spot on land ever explored (unless they mean by people physically walking around). To the best of my knowledge the Kola borehole in Russia is much deeper at 12,200 meters. https://en.m.wikipedia.org/wiki/Kola_Superdeep_Borehole https://en.m.wikipedia.org/wiki/Kola_Superdeep_Borehole