I modified the Dig Priority section. Some of the psychology of digging is not yet clear to me, such as how a miner chooses a new vein, so hopefully some other addicts^h^h^w enthusiasts can fill in the blanks.