Re: [Python-ideas] Generator-based context managers can't skip __exit__