big mistake : Deleted many files under developer.pgadmin.org

Hello,

Maybe my wife should not have powered me on so late :(

While trying to upload my packages I did a big mistake and erased most
of the archive (ftp/release directory)

I'm about to leech ftp.fr.postgresql.org in case we don't have a backup
of these data.

Shame on me,
Raphaël