In Interaction with __all__, I think it would be useful to state plainly that an export statement implicitly creates __all__ if it doesn’t already exist, and show that the following is valid:
from .foo export Foo
__all__ += ["Baz"]
(The current wording is somewhat indirect about this)