Edit-undo functionality within Paper docs would be very useful. The current document revision history is not granular enough to be useful for the correction of mistakes made during a longer editing session. For instance, in the case of an accidental deletion of a section, you are forced to choose between manually recreating what was deleted or using Doc History to roll back (thereby forcing a different re-creation task).