The text 4316a0665cfb, as Debian 10 (Buster) shipped it.
obtain server resource properties
XResourceManagerString(3) on Linux now
