update: Merged opera updates

* Merged last updates from Opera upstream which fix the issues around
  options