New repo name in documentation