In the meantime, I suppose this is as good an occasion as any to say: HAPPY NEW YEAR! After all, with the help of Gadget, we can start saying it any time we want...