Here’s wishing everyone a Merry Christmas. Because, hey, even if you don’t celebrate December 25th as a holiday, you might at least be lucky enough to have it off from work, or be taking at least a few hours off to hang out with the family. And even if you…