On Wed, 13 Nov 2019, Thomas Paulsen wrote: > Really? TECO = Tape Editor and Corrector Text Editor and Corrector, back when I had to learn it for a contract assignment. -- Dave