The text d0ce1689853f, as Debian 1.2 (Rex) shipped it.
set or read a window's WM_ICON_NAME property
XGetIconName(3x) on Linux now
