Hi everyone!

I am having a serious interview soon, and after that will be abroad with intermittent access to the internet. So I want to wish everybody happy holidays a bit in advance, since I will be flying on the 24th.

Stay healthy to the extent possible and enjoy the season!