I do some measurements and find that the puddle, the hole, and our tunnel's entrance have similar shape and size, and are located almost in a straight line. How nice.
