Is anyone here familiar with duckduckgo.com? It's supposed to be a search engine like Google, only unlike Google it does not gather, store, or sell your personal information. Have you used it? Is it as advertised?