On 2021-03-09 17:30, Rob Pike wrote: > I'm curious when people (other than me) erred and stopped saying that > ed was the standard editor. > > -rob > Ed, man! !man, ed. ( Sorry -- I could not resist. N. )