The text 09b1ff0a975b, as Debian 10 (Buster), Debian 9 (Stretch) shipped it.
obtain and set widget resources
XtVaSetSubvalues(3) on Linux now
