19fc6ef5dd
After some more discussion, we settled on slightly different profile names. https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/4530 Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1939>