On December 23, while many of us were doing last-minute holiday shopping, Congress passed a big $1.7 trillion spending package, keeping the government funded through September 30, which marks the end of this fiscal year. You’ve likely heard of some of the bill’s more newsworthy provisions, such as a change to the Electoral Count Act to prevent an attempt like Donald Trump’s in 2021 to overturn a presidential election result, or the $45 billion in support for Ukraine’s defense against Russia’s invasion. But tucked into the package was a surprisingly large boost in funding for something that doesn’t usually generate...