It was already an eleventh-hour scramble in Congress to get the last of its appropriations bills passed. Even before news ...