GNOME Shell Extension TaskBar Version 37 for GNOME 3.4 / 3.6 / 3.8 / 3.10