@rtabak
Nothing of the above helped; it was necessary to delete Opera and to re-install it completely. I have the latest version now. Further I have to re-install quick links, extensions. Hopefully this will not happening too often. For now Opera remains the best browser.
Opera for Windows