While I didn't find his comment particularly funny, I'm not sure I'm seeing the attack in it - just reads to me as a light-hearted joke about names, in contrast

While I didn't find his comment particularly funny, I'm not sure I'm seeing the attack in it - just reads to me as a light-hearted joke about names, in contrast to the top comment which genuinely described you as a "whiner".