Re: [Python-ideas] changing sys.stdout encoding