Normalize docs-extractor audience tags; remove admin/stakeholder; strip tool invocations#8717

Merged

mrubens merged 1 commit intomainfrom

chore/docs-extractor-audience-cleanup-20251017-171238

Oct 17, 2025

Commits on Oct 17, 2025

docs(extractor): normalize audience to type="user"; remove admin/stakeholder; strip tool invocation examples
hannesrudolph
committed