Tediously boring day as expected, as the adults are doing other things and have left the desks in the capable hands of their juniors, who are operating under set formulae.
Happy Holiday to all in the US, and for the rest of the world, please try to carry on.
