Happy Christmas and New Year to all contributors (well, nearly all).