Good catch, git rebase appears to have helpfully updated the 1.2 manual instead after your PR was merged!