Opera 15, with Google's Chromium backend, now available to download: It ...