We should probably not be keeping these around.  I'll see about how to get
these things ignored...