It's happened. Even with the zig-zag pattern and extreme care, I've been hit by a cave-in!
Now I just need to know-how do I remove the fallen rocks? Mining? According to Jorb, leaving them there increases risk of more, and we really don't need that.
Can they be removed?