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

From: Eli Zaretskii <[email-masked]>
Date: Tue, 09 Jun 2020 17:43:43 +0300

> From: "Basil L. Contovounesios" <[email-masked]>
> Date: Tue, 09 Jun 2020 12:55:25 +0100
> Cc: "[email-masked]" <[email-masked]>,
>  Dmitry Gutov <[email-masked]>, Juri Linkov <[email-masked]>
> 
> I wonder, though: the default value matches some quite obscure codes
> which aren't (and maybe shouldn't be) documented, so is a defcustom
> really suitable for this?

They are SGR escape sequences that Grep emits to color its output.  We
should probably mention that in the doc string.