[PRQ#58651] Merge Request for gnome-shell-extension-pop-shell