Add gnome-shell-extensions-3.10.1