Aktualisiertes Distrobox bietet kleine Verbesserungen