Howdy,
Just a heads-up: looks like pgfoundry.org is down. I can't load it at all or connect via ssh. Hell, I can't even ping it. :-(
Best,
David