Happy holiday

I’m going to be mostly offline for the next few days, so happy holidays and see you next week.