EXTPartialDefinitions now try to track whether they were machine- or human-generated.
committing partial work on differential inspection to complain to bavarious