11/17: evening in the office

I've been trying to limit the time I spend in my office after business hours, but today it was easier and calmer to eat in the cafeteria and then return to my office than to pack up work to take home.  And I made some progress on the growing end-of-semester to-do list.