bug#41766: Make it possible to change regexp to identify and highlight grep matches via customization

[Dmitry Gutov]

On 09.06.2020 10:58, Simon Lang wrote:
> Pls note that ripgrep knows about ignore files etc.

But not when passed specific file names on the command line, right? 
Which is what xargs does.

Sorry, it's a tangent from your patch's discussion. It looks good to me, 
but I'd rather defer the review to someone else.