* `edit.quit()` -- calling this ensures any final edits are flushed to disk
  before the app exits.