Async terminal mail client for notmuch: staged undoable tag ops, diff-and-insert refresh…