[Python-ideas] Re: Global flag for whether a module is __main__