As some of you have already noticed, our Subversion server is currently down (reachable, but not servicing requests). We'll keep you posted once it is up and running again.