[jhc] moving to darcs-2 format