Remove short domain #34

Merged
jonny merged 2 commits from remove_short_domain into develop 2025-04-06 18:27:13 +02:00