Fix doc for repo mirror URL

The doc was outdated, pointing to old URL (port 81) which dont work now.