Dans la série "j'en rajoute une couche"
je crois avoir trouvé (merci mon chéri...) comment faire une sauvegarde des marque-pages perso de firefox :
marques-pages > organiser les marque-pages > fichier > exporter
En théorie, ça doit être ça, mais perso, je n'ai jamais testé. En revanche, les mises à jour de mon navigateur ne m'ont jamais fait perdre mes favoris, moteurs de recherche et marque-pages... Comme quoi... (vivelesnouvellestechnologies...)