[Python-Dev] Re: Raw strings ending with a backslash