ci: Restore cmake.org html documentation search results for index entries Sphinx 7.3 fixes the problem motivating commit fbed0431c2 (ci: Suppress cmake.org html documentation search results for index entries, 2023-08-09, v3.27.2~2^2). Revert the workaround. Fixes: #25175