Include repo rename in install instructions