The text af30a001d8e2, as Debian 1.3 (Bo) shipped it.
Create and manipulate button widgets
button(3tk) on Linux now