bump gnome-extra/gnome-shell-extensions-3.12.0