Damit dir dies nicht wieder passiert...
Danke, das werde ich machen. Ich hatte vor ca. einem halben Jahr die Bookmarks als HTLM-Datei exportiert aber darin fehlten schon einige neure Lesezeichen. In dem Fall war auch das wöchentliche Backup der kompletten VM, in dem der Torbrowser läuft, nutzlos da die Backup-Version sich ebenso wenig hätte anmelden können. Aber der jetzt erzwungene Umstieg hat auch etwas für sich: ich nutzte die Uraltversion vom Torbrowser nur, da die neueren Versionen sich nicht in sandboxie starten ließen. Dies testete ich so alle Jahre erfolglos aber die aktuelle Version scheint wieder damit zu laufen.