I would not read too much into the Christmas Eve Federal Holiday. It is pretty typical for any president to give federal workers the day before Christmas off, especially if it is near the weekend, much like the day after Thanksgiving is declared a paid holiday each year.