docs fixes #112

Merged
muellerr merged 1 commits from smaller-doc-fixes into main 2024-11-07 23:28:42 +01:00