juxuanu [1] filed a deletion request for gnome-shell-extension-dock- from-dash-git [2]: I am not interested in maintaining this any more. Moreover, I don't have the time to fix the building process, and it does not follow Gnome Shell's Arch version so it can become incompatible (like right now). [1] https://aur.archlinux.org/account/juxuanu/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-dock-from-dash-git/