gnome-shell-extension-arc-menu: gnome-shell-extension-arc-menu (Application Menu Extension for GNOME) gnome-shell-extension-arc-menu: gnome-shell-extension-arc-menu: gnome-shell-extension-arc-menu: gnome-shell-extension-arc-menu: gnome-shell-extension-arc-menu: https://gitlab.com/arcmenu/ArcMenu gnome-shell-extension-arc-menu: gnome-shell-extension-arc-menu: gnome-shell-extension-arc-menu: gnome-shell-extension-arc-menu: gnome-shell-extension-arc-menu: