If I wear involved I would say, let’s have winter break from Thanksgiving until the second Monday of Dec then start school up again, including class on Dec 25. Then let the wailing and gnashing of teeth begin.
I notice that the state of cal employee holiday list still includes Christmas Day.