Dear *, spamming you with "out of office" replies was not very polite and bandwidth consuming (*grunt*). However, I've been in a hurry and simply forgot to disable auto-replies for mailing lists - I hesitate imagining how may mailing list users I'd had spammed the last weeks... I'm very sorry for that spam, Michel
