karol_007 [1] filed a deletion request for gnome-shell-insensitive-message-tray-git [2]: The submitter wrote in the comments: This was an error in PKGBUILD, can be deleted; replaced with proper named package: https://aur.archlinux.org/packages/gnome-shell-extension-insensitive-message... [1] https://aur.archlinux.org/account/karol_007/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-insensitive-message-tray-git/