Minor documentation fixes; nothing from git-ls-remote means no git repo