Opera has just launched version 9 of its data-saving Opera Mini browser on iOS, with a new Video Boost feature that optimizes video content so they load faster and consume less data. The latest ...