How about let’s all cool it, guys (and gals, although I don’t think any were involved in this)?
This started out as a dispute with a relative “outsider”, even though the person had accumulated a fair number of posts. And Pavel was kind enough to assist in straightening things out, with also some helpful comments from Vlk.
Please, let’s not get it started up again in the family.
Hugs all around, and best to all,
Mike