Misc changes

See individual commits.

Merge request reports

Loading