Re: [Python-ideas] Replacing the standard IO streams (was Re: changing sys.stdout encoding)