[Python-ideas] Re: os.workdir() context manager