SI-4427 document package objects appearing in implicit scope

The implicit scope of `a.A` includes package object `a`. Document this, following the text posted by @odersky in the ticket (hoping my manual diff is correct).

Fixes #4427.

Warning: please make sure `2.11.x` is the branch where I should send this.