Commit 65c9b808 authored Jul 22, 2026 by Arjo Segers

Merge branch 'uguide' into 'master'

Updated settings for User Guide generation.

See merge request !36