Happy Christmas in family or not! Enjoy your time.
Soon 34c3 for some interesting things to follow during vacation.