docs/git-clone: clarify use of --no-hardlinks option