minor doc improvements #46

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