I've filed https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/6565 upstream to cover the gnome-shell problem.
I've filed https:/ /gitlab. gnome.org/ GNOME/gnome- shell/- /issues/ 6565 upstream to cover the gnome-shell problem.