a) Making the documentation on the search page better so that the problem here is obviated by the search being explained better.
b) Making the search more DWIM (where WIM refers to the use-case in this bug).
I think that a) is the better option, so I'm updating the bug to match.
I think that this bug could be solved by either:
a) Making the documentation on the search page better so that the problem here is obviated by the search being explained better.
b) Making the search more DWIM (where WIM refers to the use-case in this bug).
I think that a) is the better option, so I'm updating the bug to match.