The text 01ef883d71a3, as Debian 1.1 (Buzz) shipped it.
control extension input device focus
XGetDeviceFocus(3x) on Linux now
