A very Merry Christmas to all of you who celebrate it, and a Happy New Year for 2020!