There lies some irony that for filtering the filenames, grep is likely be used.

You're right--if the "grep" in question is grep, and not grep.

The real irony here is that I, an avowed 'doesn't do *nix' man, assumed the latter rather than the former, when I read the title!