Switching to ISO-8859-1 after ^[c is hard coded in the kernel, so I think
no external utility can change that - am I wrong?
Hmm - the translation is set to LAT1_MAP, but it would be
too optimistic to associate that with Latin-1 (ISO-8859-1).
So, maybe it does not matter. As we just learned, one can
work fine with this translation and a Latin-2 font,
provided one kills the unicode map.