label->plain-label in Miscellaneous

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

  Strips shortcut ampersands from label and returns the label as it would appear on a button.