jonian [1] filed a deletion request for gnome-shell-extension-plank- to-dock [2]: Please remove this as the extension has been renamed to "Dash to Plank" [1] https://aur.archlinux.org/account/jonian/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-plank-to-dock/