Re: Retiring my gnome-shell search providers