I think you are right, @kwmsmith. Unless getting rid of the explicit `del` causes the normal `Context.__del__` to never get called, then there would be only one. Hmm.