On 7/6/21 1:10 AM, Nevin Liber wrote:

> head isn't needed because we can already do it with the command line
> options for sed.  That's the Unix way.

Except, in this case, `head' came first.