The text 61c00bf0affb, as Debian 1.1 (Buzz) shipped it.
extension event handling
XtDispatchEventToWidget(3x) on Linux now
