ewout [1] filed a deletion request for gnome-shell-extension-dash-to- dock-gnome43 [2]: renamed to gnome-shell-extension-dash-to-dock43 [1] https://aur.archlinux.org/account/ewout/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-dash-to-dock-gnome43/