@Will That's a fair concern. I will be careful, I assure you. Most likely, I'll just pick a time and delete everything after that time. That'll still require care so that I'm not unfairly giving someone the last word. A possibly more elegant solution would be to carefully edit out the offensive and personal parts and leave the substantive discussion and disagreement, but I just don't have the time or patience