It often happens that we push release process fixes to master
(e.g. that's most convenient place where one can push such fixes
during a release process). But then, if the RM follows the previous
version of this doc, and nobody merged master into the release branch
recently enough, then they'll miss these fixes. This just happened :(