The text a76b9c07a615, as Debian 13 (Trixie) shipped it.
obtain server resource properties
XResourceManagerString(3) on Linux now
