Re: [PATCH] notmuch_thread_get_authors: document match grouping with |