OK, je vais le signaler au Mike... ;-)

Edit : C'est fait, par E-mail.
A noter que chez moi, les paramètres sont conservés dans MoI lorsque je redémarre l'application ?!