I'd take this out of the dev guide entirely. It's not something we want anyone outside of the team doing. Good to have this documented internally, but I don't want someone in the community boogering up a perfectly good pull request because they thought it'd necessitate a new version number. The source is in the community, but we control the releases.