It is extension for GNOME Shell. It remove all search providers from overview, except for applications and settings.

URL: https://github.com/seleznev/gnome-shell-extension-remove-search-providers

Download archive from here and unpack it to ~/.local/share/gnome-shell/extensions/.

$ cd ~/.local/share/gnome-shell/extensions/

$ git clone git://github.com/seleznev/gnome-shell-extension-remove-search-providers.git

$ mv gnome-shell-extension-remove-search-providers/[email protected] ./

$ rm -r gnome-shell-extension-remove-search-providers