Re: [Python-ideas] Make the @contextmanager of contextlib to be a real contextmanager