The text bb21870f380f, as Debian 2.0 (Hamm) shipped it.
Create an option menubutton and its menu
optionMenu(3tk) on Linux now
