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