XtDestroyWidget(3) on Linux

The text 8c4cc126faee, as Debian 2.1 (Slink) shipped it.

XtDestroyWidget(3) on Linux now