[PRQ#38220] Merge Request for gnome-shell-extensions-hotkeys-popup

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