doc: clarify default go command behavior in the release notes

Change-Id: I2a0bd295ad9737581d149a7165191b878ae2acda
Reviewed-on: https://go-review.googlesource.com/c/go/+/181880
Reviewed-by: Ian Lance Taylor <iant@golang.org>

diff --git a/doc/go1.13.html b/doc/go1.13.html
index 0fe8499f3a0ca885e0fd158fc7addbaa410b864e..f6df9e07e5c2271c324e8cd9dedf088f2de478e8 100644 (file)
--- a/doc/go1.13.html
+++ b/doc/go1.13.html
@@ -25,12 +25,13 @@ Do not send CLs removing the interior tags from such phrases.
 </p>
 
 <p>
-  As of Go 1.13, the go command downloads and authenticates modules using
-  the Go module mirror and Go checksum database run by Google. See
+  As of Go 1.13, the go command by default downloads and authenticates
+  modules using the Go module mirror and Go checksum database run by Google. See
   <a href="https://proxy.golang.org/privacy">https://proxy.golang.org/privacy</a>
   for privacy information about these services and the
   <a href="/cmd/go/#hdr-Module_downloading_and_verification">go command documentation</a>
-  for configuration details.
+  for configuration details including how to disable the use of these servers or use
+  different ones.
 </p>
 
 <p>