My question was entirely rhetorical. I thought it important to clarify that the post was factually correct, and one should not take its font color as an indication otherwise, even though that is usually a sensible assumption regarding downvoted posts that are simple statements of fact.

Incidentally, when did HN guidelines start privileging entertainment value? That is certainly at odds with what I consider the spirit of this community to be.