Remove keyboard shortcuts page from user help
It's redundant with the shortcuts dialog, and at least one of these shortcuts is not right.
Fixes #407 (closed)
It's redundant with the shortcuts dialog, and at least one of these shortcuts is not right.
Fixes #407 (closed)