Sorry about the wrongly delivered mails on this list. It turns out that
someone on this list has all his mail forwarded to this list. We're lucky
it appears to be an unused account..

I'm trying to get in touch with the sysadmin people there to resolve it.

- Frank