Skip to content

Userguide minor improvements

Carsten requested to merge userguide-improve-minor-details into release-2022

Pedantic fix of indentation of commit 7c91c338, together with a few other minor improvements.

Merge request reports