More minor updates to the how-to-make-a-release documentation