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