Actually maybe keep that conversation in https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/3294 where all the gnome-shell developers can see it.
Actually maybe keep that conversation in https:/ /gitlab. gnome.org/ GNOME/gnome- shell/- /issues/ 3294 where all the gnome-shell developers can see it.