Apparently, there have been some problems with the mailing-lists today, and some mails have been lost. Since it seems to be working again (hey! you're reading this mail !), please re-send messages which have bounced back. -- Christophe Massiot.