Current design choices: * Unstashing doesn't delete the file. You have to bump down to the scratch screen for that. * Can't unstash if the file already has local modifications. Decide whether to revert or stash them.