Search toolsTab search provider for GNOMEHarshad GavaliThis extension is part of tab search provider for GNOME See https://github.com/harshadgavali/searchprovider-for-browser-tabs To install other parts