docs(widgets): correct Pygments class name for "console" alias

``get_lexer_by_name("console")`` returns ``BashSessionLexer``
(``pygments/lexers/shell.py:223``, alias registration at line 230), which
extends ``ShellSessionBaseLexer``. There is no class literally named
``ShellSessionLexer``. The behavioural claim in the comment -- that the
lexer tags ``$ `` as ``Generic.Prompt`` and emits ``<span class="gp">`` --
is unchanged and still correct.

Author: tony

docs/_ext/widgets/mcp_install.py

@@ -158,7 +158,7 @@ def build_panels(
                 Panel(
                     client=client,
                     method=method,
-                    # "console" = ShellSessionLexer — recognises the leading
+                    # "console" = BashSessionLexer -- recognises the leading
                     # ``$ `` as Generic.Prompt and emits ``<span class="gp">``,
                     # which the gp-sphinx copybutton regex strips on copy.
                     language="json" if is_json else "console",