The text a807e690a1c1, as Debian 13 (Trixie), Debian 12 (Bookworm) shipped it.
map and unmap widgets
XtUnmapWidget(3) on Linux now
