I (Julian Foad) wrote: > Is this better? > > [[[ > Correct the description of "--ignore-uuid". [...] I checked the logic of this, and committed a wording change equivalent to this one (but with less churn) in r3504. - Julian