[Python-ideas] Re: asyncio.Pipe()