The Saved Pages feature in both Opera for Android and Opera Mini could do with this addition. A search box for which heavy users of your mobile browsers can easily transverse saved content. I for one currently have over 150 saved pages in Opera Mini alone: Imagine search for a specific page you saved several months ago among 100+ page titles (its just like revisiting an uncommented code after some week of programming). I know, and its reasonable to perceive the benefits of this addition. Thanks