Even if you disliked the original comment, this one is trying to clarify a joke. Now a serious question - is humor discouraged on HN? Because it's not the first time I run into something like this.
The rule of thumb is: If it doesn't add to the discussion, better hold on to it.