Move and update search settings documentation.
Review Request #12585 — Created Sept. 7, 2022 and submitted — Latest diff uploaded
The search documentation was still found deep under "Site Maintenance",
since it originally was just a small doc that explained how to set up
the crontab to run the indexing command. These days we have extensive
setup options (various Elasticsearch dependencies), and ideally if
people are setting up search, they'll also be using on-the-fly indexing.
This change moves the search docs to exist alongside the other documents
for the site settings, and renames it to "Search Settings" since it's
about a lot more than just indexing. While I was doing this, I also
moved the Elasticsearch section to be first, since we definitely want
users to prioritize that over Whoosh.
- Built HTML docs. Verified that all the links went to the expected
places, and that the search doc rendered as expected.