Flathub-Infrastruktur überarbeitet