The text f8c0f9919c92, as Debian 1.1 (Buzz) shipped it.
move and resize widgets
XtResizeWidget(3x) on Linux now
