chore: enable navigation pruning

[HonkingGoose]

Changes:

• Enable new Material for MkDocs feature: navigation pruning ¹

Context:

When pruning is enabled, only the visible navigation items are included in the rendered HTML, reducing the size of the built site by 33% or more. Add the following lines to mkdocs.yml:

theme:
  features:
    - navigation.prune

This feature flag is not compatible with navigation.expand, as navigation expansion requires the complete navigation structure.

This feature flag is especially useful for documentation sites with 100+ or even 1,000+ of pages, as the navigation makes up a significant fraction of the HTML.
Navigation pruning will replace all expandable sections with links to the first page in that section (or the section index page).

Footnotes

1. https://squidfunk.github.io/mkdocs-material/setup/setting-up-navigation/#navigation-pruning ↩