The text 234fc6dd6ab1, as Debian 11 (Bullseye) shipped it.
change which device is used as the X keyboard
XChangeKeyboardDevice(3) on Linux now