Copyright headers for *compare.py