Default hotkeys as per PR #1990 comment.