I was gettign weird DNS resolution with sf.net for some reason.

They just send an email saying they had some DNS problems with it last night. Should be fixed now.

Borislav