gnome-shell-extensions: update to 3.8.3.1.