May 12, 2020 Replying to: microblog.mikezornek.com @zorn Nice! I have been using DuckDuckGo for years, but did not know this. Thanks!!