docs: tweak the release procedure script