This replaces checkboxes by radiobuttons whereever necessary (menu
choices).  It partially fixes the #540 bug report.