More extensive comment on __exit__ handling, per Guido's request.
1 file changed