Antwort
Opera 34.0 für Computer: Export der Lesezeichen/Export der Bookmarks in eine HTML-Datei:
03.01.2016
Nutze die Opera-Erweiterung: V7 Bookmarks version 3.2.5
Installation der Erweiterung:
Opera (links oben) - Erweiterungen holen - Suche: V7 Bookmarks - V7 Bookmarks - Zu Opera hinzufügen
Export der Lesezeichen:
Opera (links oben) - Erweiterungen - Erweiterungsverwaltung - V7 Bookmarks - Optionen - (weit unten) Exportieren der Opera-Lesezeichen-Struktur: HTML-Export