aminvakil [1] filed a deletion request for gnome-shell-extension-dash- to-dock-gnome41-git [2]: There is already gnome-shell-extension-dash-to-dock-git package available and it's going to be updated soon. https://github.com/micheleg/dash-to- dock/pull/1402#issuecomment-927364158 [1] https://aur.archlinux.org/account/aminvakil/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-dash-to-dock-gnome41...