@david I've been writing terminal emulators in the not too distant past I know far too many control codes