Fans of Linux Mint may recall the project’s decision late last year to include the DuckDuckGo search engine among the default features of its latest release, also known as Linux Mint 12 “Lisa.” That ...