Opera Mini's built-in video compression finally hits Android

More than a year after hitting iOS, Opera is finally bringing its innovative video compression feature to its Android browser, Opera Mini. You'll have to enable "video boost" manually in the browser's "high savings mode," but once you do your videos…