Hi, first post here
@pinportal Thanks for the solution. It worked!

I wrote a script to "upgrade" Opera according to your instructions:
https://gist.github.com/mcarletti/7989d1c04199dba60a01adf8ac54fe31

Hope this helps!
M.

Hi, first post here
@pinportal Thanks for the solution. It worked!

I wrote a script to "upgrade" Opera according to your instructions:
https://gist.github.com/mcarletti/7989d1c04199dba60a01adf8ac54fe31

Hope this helps!
M.