Vivaldiのブックマークをエクスポートする方法

Vivaldiのブックマーク管理画面には、なぜかエクスポートがない。
Vivaldiでブックマークをエクスポートするには、以下の手順で行う。

左上のVivaldiアイコン→ファイル→ブックマークをエクスポート。