Re: gnome-shell application search much less useful in f18