igor-dyatlov [1] filed a request to merge gnome-shell-extensions- hotkeys-popup-git [2] into gnome-shell-extension-hotkeys-popup-git [3]: Correcting the package name: extensions -> extension https://aur.archlinux.org/pkgbase/gnome-shell-extension-hotkeys-popup- git [1] https://aur.archlinux.org/account/igor-dyatlov/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extensions-hotkeys-popup-git/ [3] https://aur.archlinux.org/pkgbase/gnome-shell-extension-hotkeys-popup-git/