One thing is preventing me from using Opera Mini as my main browser: Cannot use Pocket.
Not only is there not the pocket integration that other iOS apps now have through "add to" or "share", but you can no longer add the bookmarklet because you cannot edit the URL of a bookmark in Opera Mini. (Which is weird for other reasons as well).
Please fix!