Add doc search command (JSON documentation search) - #7770
Merged
Commits
Commits on Jun 22, 2026
- andcommitted

- andcommitted

- andcommitted

- andcommitted

- andcommitted

doc search command (JSON documentation search) - #7770