On Thu 2020-05-07 16:40:26 -0700, Carl Worth wrote:
> On Thu, May 07 2020, Daniel Kahn Gillmor wrote:
>> +separator. Except for boolean options (wihch would be ambiguous), a
>
> Misspelling of "which". And while I'm here, strictly speaking Boolean is
> generally capitalized in English, (being one of those adjectives that is
> derived from a proper noun).
>
> Otherwise, this looks like a good improvement to me. Thanks!

Thanks for catching the "which" misspelling, which should obviously be
fixed if/when the patch is applied.  notmuch-search-terms(7) contains
both capitalized and non-capitalized spellings of "boolean".  I welcome
capitalization cleanup for this over the whole codebase, and hope that a
decision about this particular nit-pick isn't cause for delay of an
otherwise uncontroversial improvement.

      --dkg