FYI – root cause was fixed in gnome-shell-48.7-3