9/28: new doors

We have 3 sets of inside/outside double-doors plus our front door, and over the past 2 days they've all gotten replaced.  The old doors were pretty nasty when we moved in (10 years ago), but because they were still functional it seemed extravagant to replace them; over the years, though, they'd become less reliable and sound, so it was finally time to switch them out.