Some local scripts for managing the wp source that we will take sha1sums from