What happened to this PEP? I can't find it in the PEP list. Personally, I am satisfied with the patch that evolved from the discussion (#774665), and I would be willing to apply it even without a PEP. Thoughts? Regards, Martin