[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.
Aims
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.
Tasks
-
Dead links from README: Add COPYING.md
andLICENSE
to user manual: !185 (merged) -
Format bash command in "Grid Creation and Mapping": !185 (merged)
People involved
Related meta-tasks
Edited by Lukas Riedel