Hi! FYI. The current extras development directory is 3630 MB big at my mirror. Checking with repomanage, makes me see, that we could safe 1516 MB if we would delete old RPMs... Best, Oliver