Skip to content

Miscellaneous fixes

See the commit messages for details

Merge request reports