I am a devoted Opera user. For years. Would like to use on phone too. Currently using alternatives until I can sync bookmarks. Any idea when we might see opera mini for windows version that is capable of synchronizing bookmarks?