L’extension Gnome Arc menu