@tevo @mcc I used Teco back in the 70s on a PDP-10 (yes, I am old). You had to type a lot of dollar signs.