Greatly (re)improved DigDown.java.