Various scripts for maintainers of the source distribution.
