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