Polish some parts of the manual (this is not a complete iteration of the entire manual).
The manual compiles successfully (checked by CI).