Darcs.ProgressPatches