checkbutton(3tk) on Linux

The text ec9d54e28f7b, as Debian 1.2 (Rex), Debian 1.1 (Buzz) shipped it.

Create and manipulate checkbutton widgets

checkbutton(3tk) on Linux now