GNOME Shell 3.1.91.1 Released With One-Click Installation Support For Extensions

GNOME Shell 3.1.91.1 has been released today and comes with many bug fixes and just one new feature. But this is a really interesting feature: a "browser plugin which will enable convenient installation of extensions from extensions.gnome.org".