Thank you for replying. The next morning when I started up Opera again, Duck Duck Go was the default search engine. Not sure what happened, as I had tried many things -- relaunching in safe mode, switching to Google (Opera's default) and then back to Duck Duck Go, closing Opera and re-opening, etc.... but it's all working fine now.
Do more on the web, with a fast and secure browser!
Download Opera browser with:
- built-in ad blocker
- battery saver
- free VPN