Voilà c'est fait, sous la pression des utilisateurs nous avons décidé (enfin moi ce soir tout seul), de changer les marque-pages en favoris.

La preuve une compilation maison avec le changement :