Re #4252 Change online table of contents

CONTRIBUTING.md

@@ -154,18 +154,18 @@ description of a file in the menu can differ from the file's name. The
 navigation menu allows files to be organised in a hierarchy. Currently, up to
 three levels are used. The top level is:
 
-* **Home:** The introduction to Stack. This page aims to be no longer than
+* **Welcome!:** The introduction to Stack. This page aims to be no longer than
   necessary but also to not assume much existing knowledge on the part of the
   reader. It provides a 'quick start' guide to getting and using Stack.
-* **Tool documentation:** How to get and use Stack. This includes Stack's user's
-  guide, the answers to frequently asked questions, and more thorough
-  explanations of aspects of Stack. The user's guide is divided into two parts.
-  The first part is 'introductory', and has the style of a tutorial. The second
-  part is 'advanced', and has more of a reference style.
-* **Advanced documentation:** Stack's internal workings. Many users will not
-  need to consult this documentation.
-* **Project documentation:** Information useful to people contributing to, or
-  maintaining, Stack's code and documentation.
+* **How to get & use Stack:** This includes Stack's user's guide, answers to
+  frequently asked questions, and more thorough explanations of aspects of
+  Stack. The user's guide is divided into two parts. The first part is
+  'introductory', and has the style of a tutorial. The second part is
+  'advanced', and has more of a reference style.
+* **How Stack works (advanced):** Many users will not need to consult this
+  advanced documentation.
+* **Stack's code (advanced):** Other information useful to people contributing
+  to, or maintaining, Stack's code, documentation, and other files.
 * **Signing key:** How Stack's released executables are signed.
 * **Glossary:** A glossary of terms used throughout Stack's in-tool and online
   documentation. We aim to describe the same things in the same way in different

mkdocs.yml

@@ -22,32 +22,34 @@ extra_javascript:
 - 'https://code.jquery.com/jquery-3.6.1.min.js'
 
 nav:
-- Home: README.md
-- Tool documentation:
-  - Install/upgrade: install_and_upgrade.md
-  - User's guide (introductory): GUIDE.md
-  - User's guide (advanced): GUIDE_advanced.md
-  - FAQ: faq.md
-  - Configuration (project and global): yaml_configuration.md
-  - Snapshot and package location: pantry.md
-  - Snapshot specification: custom_snapshot.md
-  - stack.yaml vs a Cabal file: stack_yaml_vs_cabal_package_file.md
-  - Build command: build_command.md
-  - Code coverage: coverage.md
-  - REPL environment: ghci.md
-  - Dependency visualization: dependency_visualization.md
-  - Docker integration: docker_integration.md
-  - Nix integration: nix_integration.md
-  - Non-standard project initialization: nonstandard_project_init.md
-  - Stack and Visual Studio Code: Stack_and_VS_Code.md
-  - Developing on Windows: developing_on_windows.md
-  - Shell auto-completion: shell_autocompletion.md
-  - Travis CI: travis_ci.md
-  - Azure CI: azure_ci.md
-  - Lock files: lock_files.md
-- Advanced documentation:
+- Welcome!: README.md
+- How to get & use Stack:
+  - General guidance:
+    - Install/upgrade: install_and_upgrade.md
+    - User's guide (introductory): GUIDE.md
+    - User's guide (advanced): GUIDE_advanced.md
+    - FAQ: faq.md
+  - Specific topics:
+    - Configuration (project and global): yaml_configuration.md
+    - Snapshot and package location: pantry.md
+    - Snapshot specification: custom_snapshot.md
+    - stack.yaml vs a Cabal file: stack_yaml_vs_cabal_package_file.md
+    - Build command: build_command.md
+    - Code coverage: coverage.md
+    - REPL environment: ghci.md
+    - Dependency visualization: dependency_visualization.md
+    - Docker integration: docker_integration.md
+    - Nix integration: nix_integration.md
+    - Non-standard project initialization: nonstandard_project_init.md
+    - Stack and Visual Studio Code: Stack_and_VS_Code.md
+    - Developing on Windows: developing_on_windows.md
+    - Shell auto-completion: shell_autocompletion.md
+    - Travis CI: travis_ci.md
+    - Azure CI: azure_ci.md
+    - Lock files: lock_files.md
+- How Stack works (advanced):
   - Build overview: build_overview.md
-- Project documentation:
+- Stack's code (advanced):
   - Contributors:
     - Contributor's guide: CONTRIBUTING.md
   - Maintainers: