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

From: "Paul Jackson" <[email-masked]>
Date: Wed, 23 Aug 2023 03:23:01 -0500

oops - grep slower than awk, not the other way around,
on these _highly_ inconclusive timings.

-- 
                Paul Jackson
                [email-masked]