/GREP
Does a "grep" search for the (partial) source name or string in the
source catalog and lists any matching lines. This search ignores the
case. This is only to help the user search through a source catalog.
Even if the match is unique, the source found is not selected. (re-enter
the SOURCE command with the full source name!)