Re: [TUHS] Questions about the history of cut(1)