I changed the default branch name some time ago but had neglected to update the documentation at the same time.