DuckDuckGo plugin. Other changes.