News for package gnome-shell-extensions