Search option to look for either of the ids
It is rather common for me to search
for an id x
, to see that one of the declarations mentions an id y
, and to have the problem of wanting to see both the results of search x
and search y
at the same time.
Currently search x y
prints the declarations where both x
and y
appear, it would be nice to have an option (or an alternate query) to print the declarations where either of them appears.