Исправление greenman, 24.08.22 11:23 (текущая версия) :
duckduckgo тогда ещё не было, видимо
А, уже появилась. Но ещё не стала достаточно популярной.
Исходная версия greenman, 24.08.22 11:21: