The text cc138805fdf9, as Debian 1.1 (Buzz) shipped it.
convert KeySym to KeyCodes
XtConvertCase(3x) on Linux now
