This complements import-synthesis-xml.sh. It produces a set of .patch files that contain our local modifications to the shared files.
Patrick Ohly