chore: exclude pages and sections from search

Summary

• chore: exclude pages from search
• ansi_sql.md: add header for legend
• ansi_sql.md: exclude sections from search
• mkdocs.yml: add unfinished pages to not_in_nav

Возможно, следует воспользоваться плагином mkdocs-exclude-search. С ним для исключения страниц из поиска достаточно редактировать mkdocs.yml, а не каждую страницу отдельно. Минусы:

• страница index.md не исключается из поиска
• при использовании настройки ignore в логе MkDocs появляются неотключаемые сервисные записи
• плюс одна зависимость в Pipfile

При желании неугодные записи можно удалять из search_index.json — именно это делает плагин mkdocs-exclude-search.

See:

• https://squidfunk.github.io/mkdocs-material/setup/setting-up-site-search/#search-exclusion
• https://squidfunk.github.io/mkdocs-material/setup/setting-up-site-search/#excluding-sections

---

• Close nothing
• Cherry-pick to: 24.5 / 24.4 / 24.3 / 24.2
• Staging: https://docs.binary.picodata.io/picodata/asabirov_exclude_pages_from_search