The text 5630cb54e7d5, as Debian 1.1 (Buzz) shipped it.
focus events on a child widget
XtSetKeyboardFocus(3x) on Linux now
