The holiday break – somewhat unintentional, thanks to a combination of trying to hit work deadlines and also trying to not be online as much as possible – is almost over, and regular irregular posting will begin again on Monday. Just be gentle, I’ll be coming off five days off.