Opera for Android hits v15 based on Chromium 28, improves startup time and adds video downloads