Comment 6 for bug 1834583

Looks maybe related to bug 1831578. I wonder if Marco put an early fix for that into the gnome-shell 3.32.2-2ubuntu1 update...