Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
The most important change of this PR is replacing "9.4" with "9.5" in the header created by Doxygen and adding "9.5" to the title of the page "Editor version 9.4" so it's clear that this is the latest version of the manual.
The biggest change however is to make the "Configuration" page easier to navigate by adding sections that can be reached from links at the top of the page and from the sidebar.
Other changes are small fixes for typing errors.
A smaller change is to have Doxygen copy the icons from the directory of the source code to the directory of the manual and deleting a couple of icons that where duplicates of those in the source. The icons are visible in the online manual but were missing when generating the manual locally.
I'm also deleting some image that aren't used in the manual, but you may want to keep them and maybe add them to the manual.