On 5/28/22 11:19, goncholden wrote:
> I agree on removing GREP_COLOR entirely.

Sounds good to me too. Proposed patch attached. I haven't installed 
this, as I'd like Jim's opinion (we're reasonably close to a release I 
think).