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.
search x y prints the declarations where both
y appear, it would be nice to have an option (or an alternate query) to print the declarations where either of them appears.