buzo [1] filed a deletion request for gnome-shell-extension-topicons- plus [2]: This extension is dead. (See upstream URL) [1] https://aur.archlinux.org/account/buzo/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-topicons-plus/