Re: [Python-Dev] PEP 385: updating the PEP