doppelhelix [1] filed a deletion request for gnome-shell-extension- favourites-in-appgrid-git [2]:
This GNOME shell extension has not seen any upstream updates since 2023 and is stuck at gnome-shell 45 [1] https://aur.archlinux.org/account/doppelhelix/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-favourites-in-appgrid-git/
