On 2020-07-03 17:43, Tomas Nordin wrote: > Thank you! I think maybe this should be the default for duckduckgo. Yep, and so it did. It became the default within hours of the original report, about two days ago. Katsumi merged the github PR into the github master branch, as commit dca01f99. -- hkp://keys.gnupg.net CA45 09B5 5351 7C11 A9D1 7286 0036 9E45 1595 8BC0