The original intention of these instructions was to get devel updated, then branching off devel/HEAD and applying all the local changes on top of that. The complication is how to migrate any local changes the user may have made in their local master or devel branch to such a new branch.