Repository navigation

docs: consolidate and correct extension documentation - #5221

Merged

mnriem merged 4 commits into

github:mainfrom

mnriem:mnriem-extension-documentation-coverage

Nov 3, 2026

Merged

docs: consolidate and correct extension documentation#5221
mnriem merged 4 commits into
github:mainfrom
mnriem:mnriem-extension-documentation-coverage

Commits on Nov 2, 2026
- docs: consolidate extension documentation
  
  mnriem
  and
  Copilot
  committed
  8752788
Commits on Nov 3, 2026
- docs: finish upstream extension documentation sweep
  
  mnriem
  and
  Copilot
  committed
  69431b0
- docs: qualify extension event disablement
  
  mnriem
  and
  Copilot
  committed
  df04e30
- docs: scope catalog manifest verification to versioned installs
  
  mnriem
  and
  Copilot
  committed
  111f1d6