In case anyone has noticed my long silence: I apologize. I had three halfdays off between the end of October and Thanksgiving in total, and things have hardly been less hectic since then. Now, finally, I can look forward to two weeks of semi-vacation.