I find the whole paper very funny (see my other comment: https://news.ycombinator.com/item?id=18048229) but of course tastes can differ. Not sure though why you'd find it sad if someone made a joke you don't find very funny.