Merry Christmas to all, and to all a goodnight (or morning, because half of you are on the other side of the world)