Re: [Python-Dev] Experiences with Creating PEP 484 Stub Files