[gnome-base/gnome-shell] no longer interesting for us