It's a GNOME extension.
Forked from freeroot's Disable Search extension: https://extensions.gnome.org/extension/203/disable-search/
Hide the search entry from the overview and disable associated search.
- Download files to ~/.local/share/gnome-shell/extensions/no-search-in-overview@freeroot
- Enable extension, with gnome-tweak-tool or right-click on the top-left corner of your screen.
- Restart gnome-shell or reopen your session.
Version of GNOME :
· 3.36
It should work with any version of GNOME 3. Don't hesitate to tell me if it works with a particular version of GNOME, I will add it officially.