docs: minor changes

Stephan Lachnitrequested to merge
p-minor-docs-changes into master

See commit descriptions

Edited by Stephan Lachnit

Merge request reports