Hi Folks

No, it’s not your imagination — our mail server, and hence the mailing
lists, are running very slow today. We’re working on fixing it, and hope
to have it fixed soon. In the meantime, your patience is appreciated.

cheers

w