I just started using Opera due to Mozilla's recent actions in the news, and I installed version 12 so I could import my FF bookmarks. Should I stick with version 12 if I want to keep my bookmarks available for use or does ver. 20 allow bookmarks to be used from ver. 12