[PATCH v2 01/10] cli: search: Rename options to context

[David Bremner]

Michal Sojka <sojkam1 at fel.cvut.cz> writes:

> Just text replacement, no other changes.

I agree that the actual change is trivial, but the commit message
could/should hint why it is being done.