Speculative: deep pressurized mining with ROVs

[IodineMan]

We remember the Springhill mine as a very deep one where, sadly, they did not use ROVs.

What if, at intervals down the mine shaft, there were pressure gates? (For a non-vertical shaft, these might be revolving doors.) Between each two neighbouring gates, the mine is pressurized with gas to the same pressure as in the rock. Where extraction is not occurring, the rock is impermeably lined.

I would expect this arrangement to be immune to rock bursts and cave-ins, so one would not lose one's ROVs even in a very deep mine.

Has this been done, or much considered?