@cstross @TomSwirly @johnbierce This is true. Here’s hoping DuckDuckGo doesn’t have its exit anytime soon.