I maybe only one here who really used TTY editor on ASR-33. Paper and ink ribbon were expensive in poor country of Finland, so you tried to use PP only once and mark the edits with pen. Eventually the paper become too messy and then you had to prettyprint again.