Check whether the file has changed before running through the DOM, to avoid
tree17ad559aeb14e516fb53cfb0787628f29903903a
-rwxr-xr-x 6898 0publish
-rw-r--r-- 1130 0publish.xml
-rw-r--r-- 26536 COPYING
-rw-r--r-- 3507 archive.py
-rw-r--r-- 3296 create.py
-rw-r--r-- 1017 edit.py
-rw-r--r-- 1019 merge.py
-rw-r--r-- 2511 release.py
-rw-r--r-- 2694 signing.py
-rw-r--r-- 820 stable.py
-rw-r--r-- 4892 unpack.py
-rw-r--r-- 2252 validator.py