[thesmtsolver2]

> I still get downvoted for pointing it out and trying to ground the conversation in facts.

That seems right for current-day HN lol. I got downvoted for pointing out obvious inaccuracies in another comment.