Opera 12.16 is my default browser, and it is staying that way.
I can’t decide if this software should now be called Chrovast or Goovast. :
A quick search of the forum code allowed me to remove the problem … ;D