On the other side, I was stoked to find that my second stronghold's portal room was also a crystal cave... with no damage to the portal! This was especially notable, because my first stronghold in that game had its portal room completely erased by vanilla cavegen!