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