Happy holidays to all. I can sincerely say that even though I’m not precisely on the target demographic for HN, it is by far the most valuable and pleasant community in the internet. Cheers to all.