The text fecbdda42fd5, as Debian 2.2 (Potato), Debian 2.1 (Slink) shipped it.
XmPushButton(3) on Linux now
