How to patch

OLD and NEW can be files or directories (perhaps with an extra switch on diff for the latter case) OLD and NEW should now be identical.