add docs and minor changes #178

Merged
muellerr merged 1 commits from add-docs-minor-changes into main 2025-10-31 11:45:09 +01:00