Add some keyboard shortcuts to the manual (#2073).