Mine GNOME Shell extensions