Merry Christmas to those of you who celebrate Christmas! And happy holidays to those of you of other faiths! It is Christmas Eve today, and a day on which we would normally be posting a new story. We’re going to be spending time with our families, and take the day off from posting. We hope all of you have an enjoyable holiday season, and we’ll be back on Sunday with a new post.