Update manual regarding new show/hide menu shortcut.