[Python-ideas] Re: Shouldn't 'input' prompt be going to stderr?