Merry Christmas!

Just a brief message to all my readers, wishing you a Merry Christmas. I hope you are spending it with family and/or friends today. If you are working today, may your shift be busy enough to go quickly, and no majors.