Cleanup old configurations we no longer use. #13

Merged
june merged 1 commit from cleanup into main 2024-11-22 23:54:36 +01:00