Subject: bug#65416: Feature request: include first line of file in output

From: Paul Eggert <[email-masked]>
Date: Mon, 21 Aug 2023 13:43:36 -0500

On 8/21/23 13:37, [email-masked] wrote:
> it solves your problem NOW,
> instead of waiting for a feature that the grep developers
> aren't likely to add.

Yes, Grep already has a lot of features that in hindsight would have 
better addressed by saying "Use Awk".