The text bc4e7526f08d, as Debian 1.2 (Rex) shipped it.
obtain and set widget resources
XtVaSetValues(3x) on Linux now
