[Python-ideas] Re: PEP 618: Add Optional Length-Checking To zip