Merge "Documentation2" branch onto the master branch
The documentation2
branch has been used to stage some structural changes to the User Manual. These are complete and the purpose of this PR is to merge these updates onto the master branch. Once this PR is merged, we can delete the documentation2
branch.