Happy holidays to all. After a post every day for a long time I'm going on blog vacation for this week.

(Visitor counts suggest most people left the office starting last thursday.)