Administrivia
Sorry this issue is a day late – for those of you not in the U.S., Monday was Labor Day, a national holiday celebrated in true oxymoronic style by not working. I wonder if there are any holidays that people celebrate by working especially hard? Probably not.