[systoll]

> I'm confused. This seems like a bad change.

It’s a good change in that it discourages unwarranted funding. Bad for the DoD’s budget, good for the country.

It’s analogous to why `React.__SECRET_INTERNALS_DO_NOT_USE_OR_YOU_WILL_BE_FIRED` is a pretty good name.

(But even if it's a decent name in isolation, it isn't actually the name of the department, and using it is a tacit submission to the power of the executive over congress. So… bad overall.)

[abustamam]

Good point. Yeah it's an accurate description of the department; I'd want to rename a bunch of other departments to be more accurate too, since apparently names are arbitrary now!