New package: gnome-shell-extensions-3.8.1.
gnome: add gnome-shell-extensions and NetworkManager.