My operamini just deleted more than half of the bookmarks by itself!!! dnt knw how to get them back nor how it happened!