These are helper tools for managing official releases. See the release process document for more details.