Delete following the darcs conversion