Re: [Python-Dev] Re: GC at exit?