Re: notmuchsync: handling of the deleted tag