gnome-extra/gnome-user-share: remove old