Super, merci @browsercompany d'avoir abandonné le navigateur et de ne pas avoir prévu de solution de repli (sauf pour Dia, lol non merci !).
Épinglé = favoris. Imaginez que Google cesse la maintenance de Chrome et qu'il n'existe aucun moyen d'exporter les favoris autrement qu'en copiant-collant maladroitement une immense liste en texte brut, sans possibilité d'imbrication pour les sous-dossiers, etc.