Re: gnome software shell search provider? [Re: Is Gnome Software ready for primetime?]