New baby, new semester, no new posts. I’ll catch up eventually.