Hi,
I installed and tried the new opera version (v20.0.1387.77)
I was an opera user in the past but I switched to another browser because of language compatibility stuff (but now it's fixed when opera used the Chromium browser project)
but the things now-days are different because they deleted many good old features (one of them was the bookmark manager)
Now, that you restored the "mini" bookmark bar, still not that 'great' for imports and export and managing the bars like in the old opera versions
(users prefer to manage their bookmark locations to be more freely like in Firefox placements)
not to be limited in the top horizontal bar and other placements limitation (you can't move it somewhere else or on the sides of the page)
so I was just hopping if the developers would bring back (merge) the old good Opera Options together with the new Chromium options and that will make opera the best browser ever
things to focus on:
1: more user options (see the old user options and managements of old Opera)
2: full support of bookmark bar (no Stash), including import and export and better UI like in firefox or explorer
3: Free-mode (bar placements and locations, auto-hide options, etc), full bars management (insert icons, delete, move bars, auto-hide bars, show on the sides)
4: more built-in development tools (like in old opera)
5: built-in & support for Google Chrome Extensions (yes they have a huge market) and we shouldn't download an extension to install chrome extensions
6: built-in RSS reader + Mail (optional)
7: more options for speed-dial (including import and exports dials)
8: an option for grouping Tabs or managing how they will be displayed (when opening a lot of pages)