message: doc: fix keyboard shortcut
diff: @@ -123,7 +123,7 @@ and you place the cursor at the end of the line `by apply And.intro` the Infovie
  ![inspect-term-example](vscode-lean4/media/inspect-term-example.png)
  -(8). The "All Messages" widget can be expanded by clicking on it (or hitting the keybind for `lean4.displayList`, which is <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>Enter</kbd> by default
  +(8). The "All Messages" widget can be expanded by clicking on it (or hitting the keybind for `lean4.displayList`, which is <kbd>Ctrl</kbd>+<kbd>Shift</kbd>+<kbd>Alt</kbd> by default
  ## Extension Settings
  