Well, we have not changed anything at our end. But no doubt FireFox code has been evolving causing some incompatibility with that plug-in. When I get some breathing room, I will try to debug this but for now, the solution is to not use that combo of FireFox and DuckDuckGo.