code.html: update to reflect that package names need not be unique
Fixes #1507.
R=golang-dev, ehog.hedge, rsc
CC=golang-dev
https://golang.org/cl/4160049
diff --git a/doc/code.html b/doc/code.html
index 55afe09..9236cf2 100644
--- a/doc/code.html
+++ b/doc/code.html
@@ -160,9 +160,9 @@
Go's convention is that the package name is the last element of the
import path: the package imported as <code>"crypto/rot13"</code>
should be named <code>rot13</code>.
-At the moment, the Go tools impose a restriction that package names are unique
-across all packages linked into a single binary, but that restriction
-will be lifted soon.
+There is no requirement that package names be unique
+across all packages linked into a single binary,
+only that the import paths (their full file names) be unique.
</p>
<p>
