This may be my last chance to log something here before I am too wasted tonight, and then take off to see my family in the Grenoble area.
So before I vanish, I'd like to wish you all very happy end of year parties (whichever mode you do them in) and if I'm not back before NYE, a happy new year too :-)
