usermanual: fixes for #10182
Merge branch 'master' of ssh://github.com/darktable-org/darktable