The text 2cedf22b3ddd, as Debian 10 (Buster), Debian 9 (Stretch) shipped it.
obtain widget's name
XtName(3) on Linux now
