I'm currently using Opera 20 and wanted to ask if there is any chance to export bookmarks?
Doesn't look like this feature is inbuilt, is there any extension with this function?
So far I couldn't find one.

Regards