Whew! That’s a relief. I had thought too that that drama had indeed been resolved months ago. Definitely don’t like seeing talented developers (or really anyone for that matter) at odds over such a small interaction that has little impact on anyone’s lives outside of its immediate scope.