XtName(3x) on Linux

The text f958a57ff0f7, as Debian 1.1 (Buzz) shipped it.

obtain widget's name

XtName(3x) on Linux now