Re: [PATCH v2 2/2] pickaxe: allow -i to search in patch case-insensitively

Jeff King [off-list ref] writes:

Hmm. So there are actually three potential options to flip. However, I
think the reasoning above is still sound.

Yes, the grep side of the things is easier to understand and explain if
only one option controlled the case insensitivity or whatever aspect of
the search: "It is like searching things in 'log -p' output!"