[Python-Dev] Re: Replacing 4 underscores with a $ sign, idea for a PEP