Autosaves on exiting a level.
Dig removes the topmost layer of the selection if it contains no rocks, then once more removes the topmost layer of the selection if it contains no rocks.