Re: [Python-Dev] Incorrect documentation of the raw_input built-in function