not a huge priority, though it seems reasonable to try to get all the mines to approximately the same level in some systematic way (that said, I was doing things in a totally ad hoc way when I submitted #3 just trying to kill multi-birds with single stones)
