[meta] Small improvements to the user manual
Note: This is a meta-task. It bundles several tasks together and is only closed once all these tasks are finished.
Our user manual, like any manual or large body of text, contains numerous small issues we can collect here instead of raising single issues. The goal is to produce a user manual with no typographic or semantic errors and without failing links.
Dead links from README: Add
LICENSEto user manual: !185 (merged)
- Format bash command in "Grid Creation and Mapping": !185 (merged)