tried to follow instructions from Opera's website here
As the link shows, those are instructions for an old version of Opera (12.10) and they aren't valid for more recent Opera versions.
does anyone know how to export bookmarks from Opera?
You need to use an extension.