Document default `User-Agent` by br3ndonland · Pull Request #15608 · curl/curl

Description curl offers a --user-agent option for modifying the User-Agent header supplied in its requests. The man page section for this option explains how to use the --user-agent option, but doe...