Re: [Python-Dev] deprecate input()?