label->plain-label in Miscellaneous

• (label->plain-label label) -> string
     label : string

  Strips shortcut ampersands from label, removes parenthesized ampersand-character combinations along with any surrounding space, and removes anything after a tab. Overall, it returns the label as it would appear on a button on a platform without support for menmonics.