docs/release.txt: Tweak release procedure.