Thank you for the answer and the welcome. Actually I'm an old user, just usually a read-only one: my password didn't work anymore, the account was still associated with a dead email address. No harm, I just posted a couple of questions around 2006

Bye