various fixes and (minor) improvements to documentation

Merge request reports

Loading