SearchPortal plugin for DuckDuckGo