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