Clean up #2

Merged
andras merged 3 commits from asch/clean-up into main 2026-05-25 09:42:49 +01:00