Je suis tout à fait d’accord avec les deux premiers contributeurs. Proposer ce choix nativement aurait du sens.
Si l’administrateur a activé la découverte des signets dans le menu principal lors de la configuration de base, il me semble logique de l’inclure dans les options de l’interface utilisateur ? Les deux listes devraient être identiques.
Une PR est la bienvenue ?