As part of my day job I was provided with a Dell Venue 11 Pro. I tried running Fedora Linux on this but the hardware support for this device is rather limited. So I’ve moved to Windows 8.1 which uses Internet Explorer 11. But this combination does not work well with DuckDuckGo. This post is to provide an easy to use option for adding in DuckDuckGo as a search provider in IE 11.