vogeljo [1] filed a deletion request for gnome-shell-extension-arcmenu [2]: i was too dumb to use search properly and this package is already there [1] https://aur.archlinux.org/account/vogeljo/ [2] https://aur.archlinux.org/pkgbase/gnome-shell-extension-arcmenu/