Docs: document search_show_subprojects_filter addon option#12802

Copilot wants to merge 2 commits intomainreadthedocs/readthedocs.org:mainfrom

copilot/document-disable-search-subprojectsreadthedocs/readthedocs.org:copilot/document-disable-search-subprojectsCopy head branch name to clipboard