Updated Gnome Extensions for GNOME 3.14