Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.