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-label-git/
