I am fine with deleting them-- don't know when/if they are useful. No logging in this file, so I'm not going to try to add that. But deletion sounds good.