gnome-shell-extensions: update to 3.8.3.