News for package gnome-shell-extension-arc-menu