Deskmodder.de

Ich möchte die Lesezeichen vom Vivaldi-Browser exportieren. Leider finde ich nur die Importier-Funktion. Kann mir jemand sagen, wo die Exportier-Funktion versteckt ist?

5.5.2805.42 (Stable channel) (64-Bit)

Einstellungen -> Datei -> Lesezeichen exportieren