Request #38220 has been Accepted by polyzen [1]:
[Autogenerated] Accepted merge for gnome-shell-extensions-hotkeys-
popup into gnome-shell-extension-hotkeys-popup.
[1] https://aur.archlinux.org/account/polyzen/
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-d
