You are probably right, but at least they are working this week and probably next, just in case all ducks are in a row.
It is a common belief that all government workers are out of the office the last two weeks of the year. I am pleased to see that it is not true of all government workers.