✔️ Linting Passed

All linting checks passed. Your pull request is in excellent shape! ☀️

_{Generated for commit: 96fe267. Link to the linter CI: here}

I also did some research on including sub-headings in the sidebar too, as in some of the other parts of the user guide. Here is what I found out:

• sub headings will not show up the the left sidebar, unless the file is split up into these separate parts (and then we would use toctree for defining the sections
  • disadvantages include: users need extra click(s) to read through; sections 4.2 and 4.3 are a bit short; odd version history (also with git cp and then removing the rest)
• sub-headings of single files will however automatically show in the right sidebar in the "On this page" menue

Therefore, I would keep the file as one, as it is.