Oui, en effet je parlais de Greasemonkey. Et Userscripts Updateur rend un grand service dès lors que l'on a quelques scripts. Et notamment la mise à jour de TinyAuth avant cette dernière évolution.
Donc tant mieux, si les autres navigateurs sont concernés aussi par cette mise à jour.
Et merci et encouragement pour ce script qui nous rend la vie plus facile.