Some comments pointed out that I seem to have disappeared. No, I’m around. It’s just a particularly busy time in my year, and it’s busier than usual for some personal reasons (pleasant ones, though). I anticipate being rather less busy again in November.
