What Happened to Private Search Engine DuckDuckGo? Details