Change docs to disallow overloaded toplevels in several source files

Author: odersky

docs/docs/reference/dropped-features/package-objects.md

@@ -43,5 +43,5 @@ in a source file `src.scala`, it could be invoked from the command line using a
 
 **Note 3:** The notion of `private` is independent of whether a definition is wrapped or not. A `private` toplevel definition is always visible from everywhere in the enclosing package.
 
-**Note 4:** If several wrapper objects contain toplevel definitions with the same name,
-only the definition that is compiled last is retained. As a consequence, it is impossible to have overloaded toplevel definitions in different files, as the alternatives in the last-compiled file always replace the alternatives compiled earlier.
+**Note 4:** If several toplevel definitions are overloaded variants with the same name,
+they must all come from the same source file.