I recently installed Opera Mini for Iphone and I found that the search engine options also included DuckDuckGo.
However, from the past 2-3 days I see that the option is no longer there. Has it been taken down?
If yes, any leads as to why?

If not, do you know any way to restore that?