> 2. In order to maintain the distinction between "import time" and "run
> time", will it be illegal to explicitly run __main__() in the __main__
> module at import time? If not, would __main__() still be run (a
> *second time*) at run time....?

Even the "TL;DR" version gives the idiom to make an application (its
main module) be compatible with both standard and strict mode. And full
version gives the details of why it is so. That's pretty much the
simple(st) method, why do you ask for something else?

>
> ```
> __
>
> # import time section
>
> def __main__():
>     # run time
>     print("foo")
>
> __main__()
> ```
>
> Is the output:
>
> foo
> foo

Yes, if run in the strict mode, the __main__() will be executed twice.