The documentation search doesn´t provide useful results
Description
The search tool on the docs site is difficult to use and doesn´t produce good results. It seems that there are some indexing issues. We should investigate and fix.
Environment
None
Pull Requests
None
