[PRQ#51853] Deletion Request for gnome-shell-extension-pop-shell-bin

yochananmarqos [1] filed a deletion request for gnome-shell-extension- pop-shell-bin [2]: Not maintained since 2021 and has been useless probably since GNOME 42 was released. A binary GNOME shell extension package makes no sense to begin with, anyway. [1] https://aur.archlinux.org/account/yochananmarqos/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-pop-shell-bin/