Turns out I wrote a new fix for this bug by accident, proposed in https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1785
Turns out I wrote a new fix for this bug by accident, proposed in https:/ /gitlab. gnome.org/ GNOME/gnome- shell/- /merge_ requests/ 1785