Gunnar, Was Ubuntu affected by https://gitlab.gnome.org/GNOME/gnome-shell/issues/537 ? It looks like the commits to fix that issue were after 3.30.0 and there still hasn't been a gnome-shell 3.30.1 release. Thanks, Jeremy Bicha