MarsSeed [1] filed a deletion request for gnome-shell-extension- material-shell [2]: Broken, abandoned package. Also upstream is unmaintained and is not compatible with Gnome Shell 47. [1] https://aur.archlinux.org/account/MarsSeed/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-material-shell/