9000 jobs, a fart in a windstorm.
Federal employment peaked in 1990 at 3.2 million and hasn't averaged below 2.7 million since the mid-1960s.
As with ending abortion, cutting federal spending is only aspirational for Republicans in the same way that ending poverty and securing equal pay are only aspirational for Democrats.
Actually delivering on these promises would mean having to come up with new ones, which is too much like work.