The text e08202c5d85b, as Debian 10 (Buster) shipped it.
Tix's addition to the standard TK wm command.
Tk::tixWm(3pm) on Linux now
