I just want to wish all of our readers and listeners a very Merry Christmas (or whatever holiday you celebrate in this holiday season) and a Happy New Year. We will resume normal activity on this blog on Monday (29th of December) and the next podcast goes out on the 7th of January. Have a …