Update doc after repository was renamed