docs: scrub stale context-file mentions from CLI docstrings

Update the multi_install_safe docstring (drop the removed "context file"
invariant), the RovoDev setup docstring (no longer upserts a context
section), the Copilot module docstring (drop the context-file line), and
tighten the _update_init_options_for_integration note. Pure docstring
changes — no behavioral impact. Resolves PR review #4548237085.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>

Author: mnriem

src/specify_cli/integrations/_helpers.py

@@ -256,8 +256,8 @@ def _update_init_options_for_integration(
     """Update init-options.json to reflect *integration* as the active one.
 
     Agent context/instruction files are owned entirely by the opt-in
-    agent-context extension, so this function does not touch the extension
-    config or any context-file metadata.
+    agent-context extension, so this function never touches the extension
+    or its config.
     """
     from .. import (
         load_init_options,

src/specify_cli/integrations/base.py

@@ -112,8 +112,8 @@ class IntegrationBase(ABC):
     multi_install_safe: bool = False
     """Whether this integration is declared safe to install alongside others.
 
-    Safe integrations must use a static, unique agent root, command directory,
-    and context file. Registry tests enforce those invariants for every
+    Safe integrations must use a static, unique agent root and command
+    directory. Registry tests enforce those invariants for every
     integration that sets this flag.
     """
 

src/specify_cli/integrations/copilot/__init__.py

@@ -4,7 +4,6 @@
 - Commands use ``.agent.md`` extension (not ``.md``)
 - Each command gets a companion ``.prompt.md`` file in ``.github/prompts/``
 - Installs ``.vscode/settings.json`` with prompt file recommendations
-- Context file lives at ``.github/copilot-instructions.md``
 
 When ``--skills`` is passed via ``--integration-options``, Copilot scaffolds
 commands as ``speckit-<name>/SKILL.md`` directories under ``.github/skills/``

src/specify_cli/integrations/rovodev/__init__.py

@@ -227,8 +227,7 @@ def setup(
     ) -> list[Path]:
         """Install RovoDev skills, then generate prompt wrappers and manifest.
 
-        1. ``SkillsIntegration.setup()`` generates skill files and
-           upserts the context section.
+        1. ``SkillsIntegration.setup()`` generates the skill files.
         2. Generates prompt wrappers and ``prompts.yml`` for each skill
            created in step 1.
         """