[PRQ#58086] Deletion Request for gnome-shell-extension-replace-activities-label-git

doppelhelix [1] filed a deletion request for gnome-shell-extension- replace-activities-label-git [2]: This gnome-shell extension is depricated since gnome-shell 45 and the github repository is archived [1] https://aur.archlinux.org/account/doppelhelix/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-replace-activities-l...