NR is taking Columbus Day as a holiday. As longtime readers know, we tend to have The Corner active on Thanksgiving, so we certainly will be dropping in off and on today. But, some of us are going to take care of neglected errands, try to meet some deadlines, and the like. Back Tuesday at full blast.