The text 3b33ff8bf5ea, as Debian 1.1 (Buzz) shipped it.
obtain and set widget resources
XtVaSetValues(3x) on Linux now
