Ha. You’re right. Sarcasm via text is, indeed, easy to miss (and probably more befitting Reddit than HN.) I try to avoid snark on this site as it’s greatest value, to me anyway, is precisely it’s absence of same. Mea culpa.