gnome-shell-extensions: update to 3.10.1.