[Python-ideas] Re: Adding PyInstaller to the standard library