.
-> Tab Numbers

Aurait pu m'être très utile - malheureusement, les no. ne se mettent pas à jour si on ferme un onglet et ,en plus, ils sont mémorisés dans les marque-pages... ce qui ne me convient pas.

Du coup, je l'ai désinstallé
.