3.7.1 development release Not going to tag this in extensions.gnome.org, 3.7.1 is just too early for general consumption.
