The text 2345c73e7f5f, as Debian 7 (Wheezy) shipped it.
obtain server resource properties
XResourceManagerString(3) on Linux now
