In the past, the government workers got unpaid time off. Then Congress quietly voted to reinstate all of lost pay so it turned into extra paid time off that didn't count toward the vacation allowance.

It's not guaranteed, but I would guess that Congress would do the same thing again.