A lightweight Safari extension to enable DuckDuckGo search from the address bar