On 3/22/22 13:26, René Scharfe wrote:

> However, the looser check works around another bug, if only by accident.

Thanks for letting me know. In that case, GNU grep should use a looser 
check too, like Git grep does. I installed the attached into GNU grep.