Merry Christmas to everyone who celebrates such things. And happy day off of work to those who don’t!