The GNOME Shell extension is compatible with GNOME Shell 3.8