Ciao michro, grazie per la risposta. Ho provato questo:
"Citazione di: corradog - 19 Giugno 2008, 16:00:59
se ho capito bene, per salvarsi i propri segnalibri, bisogna aprire il menu:
"Segnalibri -> Organizza i segnalibri -> Importa e salva -> Salva" e salvarsi un file da qualche parte con estensione "json"?
no, devi fare "importa" e lì importarti il file bookmarks.html che avevi nel vecchio profilo..."
..ma i segnalini non sono tornati (non sono molto pratico del sistema
)