The text d9aee0d693bc, as Debian 1.1 (Buzz) shipped it.
Set the value of the WM_COLORMAP_WINDOWS property
XtSetWMColormapWindows(3x) on Linux now
