Commit 4b67d322 authored Mar 31, 2026 by Arjo Segers

Merge branch 'docu' into 'master'

Updated User Guide.

See merge request !23