Nope, this is not the end-of-the-year post, that is the Happy New Year post that will arrive tomorrow or some day after that. No, today is a merry Christmas post. Or happy holidays or whatever it is called these days. Two weeks ago one of my colleagues mentioned in an almost whispering tone, that I […]