Correcting someone about the fact that “The Department of War” doesn’t exist is pedantic.

I wouldn’t go downvote a random comment making the correction, but if I posted a substantive comment remarking on current events and received a reply only pointing out that “it’s ACTUALLY the Department of Defense” then I’d definitely downvote that.

Correcting others’ language on this point isn’t saving democracy, it’s needling others on technicalities who very well might be largely aligned with your views. I think the altered name is clownish and reflects the buffoonery of everybody in charge, but I might still use it when making a point because using it in context is not an endorsement.