gnome-shell-extension-searchbookmarks GNOME Shell extension to search in bookmarks of different webbrowsers from the overview.