The link to darcs.net was broken.