Michael, if you could merge [1] that would be lovely so that we don't land any hardcoded settings.py via a Dockerfile anymore and we avoid losing changes like the gnome_theme one and others. Thanks! [1] https://gitlab.gnome.org/Community/DeveloperPortal/merge_requests/3