oconnor663 [1] filed a deletion request for gnome-shell-extension- topicons-git [2]: I created this package because I was worried the non-git version wasn't closely maintained, but now it looks like it's better maintained than the git repo I targeted here :p [1] https://aur.archlinux.org/account/oconnor663/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-topicons-git/