Re: [Python-ideas] A better interactive prompt