[dkersten]

Or he edited it out because after reflection he realised t didn’t add anything useful? That often happens to me — I write something more snarky than I meant to and only realise after the fact and then edit my comment to remove it. My intent, when I do this, is not one of malice.