The text 31bea70c8df1, as Debian 4.0 (Etch) shipped it.
move and resize widgets
XtResizeWidget(3) on Linux now