Merry Christmas to all, and to all a good night (and morning/day)! May your holidays be happy and full of tasty food and other nice things.