Wishing a very merry Christmas to those of you who celebrate, and a happy, healthy holiday season to all.