> 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.)