by the way the GNOME project has now switched its default search engine from Google to Duckduckgo for “privacy” issues. (and DDG will profit share from sponsored ads)