The text b3f04a5cf2bf, as Debian 1.2 (Rex) shipped it.
move and resize widgets
XtResizeWidget(3x) on Linux now
