Merry Herodmas!

Just a note to wish everybody a very merry Herodmas! Herod the Great has always been one of my heroes. Of all the festivals that fall in the end of December, this is the only one I can celebrate without misgivings.