The flatten option can also be used to flatten cave floors, but there are some differences:
* When flattening cave floors, you have to stand on the tile you are flattening. You can not cannot flatten from adjacent tiles.
* The flattening option will not raise corners in caves. It will mine down all corners to match the lowest one. (Needs confirmation)