Code

urls.txt: document optional port specification in git URLS