So much digging... ugh. I dug probably a total of 3.5 hours the last two nights. At least my wing's perimeter is excavated! Hurrah! Only a few thousand cubes left to dig to expose the rest of the stronghold's perimeter and then a few more to get the whole thing exposed to sunlight. /wrist
Actually the first thing I'd like to expose to open air is this frickin' creepy chasm that one edge of the stronghold opens up into. Actually, it's possible the stronghold continues well beyond that point.
After we explore that thing I'm using redstone to turn it into Disneyland.