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