Both the GitHub section and the Local Git epositories section have a clone command. The former is limited to GitHub while the later works with any Git URL. We should direct users to learn one workflow for clone operations to avoid confusion and differences in behavior for different entry points.