Not really worth fighting it on these issues in forums like HN anymore, they’re becoming reddit-ized and tribal. People will probably read your comment as an endorsement/defense of Trump rather than the factual clarification it is.