update docs #7

Merged
muellerr merged 2 commits from update-docs into main 2024-06-25 10:26:11 +02:00