Skip to content

a couple more fixes, see commit messages.

Merge request reports