Fixup some things in the documentation that are not true anymore#154
Merged
Baccata merged 3 commits intotypelevel:mainfrom May 30, 2025
Merged
Fixup some things in the documentation that are not true anymore#154Baccata merged 3 commits intotypelevel:mainfrom
Baccata merged 3 commits intotypelevel:mainfrom