chore(docs): rename default docs plugin to user_docs for consistent versioned dir naming (#40171)

Co-authored-by: Claude Code <noreply@anthropic.com>

Evan Rusackas committed 23d ago

8a86ab7319badea70e0cb848b80dc7bb9ee3bf43

Parent: 8d2b655

Committed by GitHub <noreply@github.com> on 5/16/2026, 5:26:43 AM