tools-release-process.md: fix things that didn't worktools-release-process.md to fix things that didn't work