The text 85d9476c33f7, as Debian 1.1 (Buzz) shipped it.
map and unmap widgets
XtSetMappedWhenManaged(3x) on Linux now
