tools/diff.py