I think I've asked this before, but anyway: What's the exact command to generate the patches? I think we should document this somewhere to make sure there are no format changes in the patches which mess up git diffs.