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