Excellent news that everyone has been recovered from the mine.

I was left wondering, however, how do the drillers actually control the
direction of the drill, as it does deviate a couple of times according to
the reports?


--
The Wanderer

There is no place like 127.0.0.1