Part of #75 (closed)
assigned to @Diziet
enabled an automatic merge when the pipeline for b10c3335 succeeds
changed title from Minor fixes the reference docs to Minor fixes to the reference docs
mentioned in commit ff01e029
merged