Re: [Python-ideas] with None (Was: Re: Enhanced context managers with ContextManagerExit and None)