Thanks Robert, I've implemented your suggestions. I hope someone will check that I've used "+++" correctly in NEWS, affirming that I updated the documentation -- hopefully I didn't miss anything.
Any other comments welcome. Paul
0001-Add-Ediff-feature-for-copying-all-differences.patch
Description: Binary data