doc: release process: drop the comment about changing the release name

Now that the automation picks the right name automatically, there's no
need to edit it manually as part of the release process.

Signed-off-by: Fabio Baltieri <fabiobaltieri@google.com>