Also change behavior of makeButton/buttonPrint to directly remove a hotkey-prefix, in case it was passed.