Re: [Python-Dev] More on contextlib - adding back a contextmanager decorator