gnome3: make extensions.gnome.org recognize the gnome desktop