2025-06-01 - 2025-06-08

Excluding merges, 5 authors have pushed 9 commits to master and 9 commits to all branches. On master, 96 files have changed and there have been 4640 additions and 2471 deletions.