It's redundant with the shortcuts dialog, and at least one of these shortcuts is not right. Fixes #407