minor doc improvements #47

Merged
muellerr merged 1 commits from minor-docs-improvements into main 2025-02-13 18:51:18 +01:00