cheers for that fascinating account,
It sounds like awfully risky work, relying on shuttering instead of pinning the walls and roof of the tunnel. I just hope the engineers and archaeos can come up with a solution that will allow them to safely re-enter the hill and continue with their work.