The text a34807ebb250, as Debian 7 (Wheezy) shipped it.
Mutually exclusive option widget
ttk::radiobutton(3tk) on Linux now
