Hello, I am aware of it, that's the "'I got one other report of this" meant. A little cryptic .... BTW I can't connect to alioth:
nslookup alioth.debian.org Server: 127.0.0.1 Address: 127.0.0.1#53 ** server can't find alioth.debian.org: SERVFAIL Is it general or only my ISP ? Regards, Stef