There&#x27;s a tendency to downvote comments that are not useful, to avoid comment threads to degenerate into a flood of snarky fourteen years-old debates. A tendency that I deplore.<p>Also, this comment is seriously unfunny.