[Python-ideas] Re: Enhancing Zipapp