Cloned from the darcs repo. Sadly it seems too difficult to keep the
history :-(