I would be happy if they would bring it back, until that opera mini still works, except for embedded browser views.