stopped using the proprietary search engine Duckduckgo (same as Google)