Andrew, can you go ahead and commit those changes into contrib? I think in a subdirectory would be best so that you can include the README.
Make sure the permissions are set correctly. Applying them as a patch kept mucking them up.
header-tools or somesuch should be a fine directory name to use.Generally we haven't required the same level of rigor on the contrib/ bits that's required elsewhere. And I really don't want to lose these tools and see them bitrot.
Jeff
