Michael> Of course. Closing the file should be handled separately
Michael> from regular deregistration. A new patch (below) fixes
Michael> that.
This looks better than my approach. Let me make sure it covers
everything, but it definitely seems simpler.
- R.