Can I ask each of you to bite your tongues whenever you feel an urge to insult the other one?  Both of you are working in good faith and have considerable knowledge, so there's nothing to gain by heating up the atmosphere.  Regards,