Docs should say the right thing/point at the right repo.