execfile then import back

[overly.crazy.steve at gmail.com]

Dennis Lee Bieber wrote:
> 	And the problem you are seeing is that the initial "v" in the t.py
> that you "run", is considered "__main__.v", NOT "t.v"

Yes, the 2 different copies of v apparently imply that __main__ and t
are 2 different modules. But I had expected __main__ to be an alias of
t. Can you point out the passage in Python doc that explains this?