Merge version_3 into main #3

Merged
bender merged 17 commits from version_3 into main 2026-06-10 15:40:49 +00:00