minor wording improvements #230

Merged
muellerr merged 2 commits from some-wording-improvements into main 2025-05-10 16:27:38 +02:00

2 Commits

Author SHA1 Message Date
muellerr 18263d4568 Merge branch 'main' into some-wording-improvements 2025-05-10 16:27:29 +02:00
muellerr 95519c1363 minor wording improvements 2025-05-10 16:27:04 +02:00