Digested

There won't be a CVS-Digest this week, since I'm not going to be home. A few days off. It's been far too long since I had some time off, and I am rapidly losing interest in almost everything except getting away.

All should be back to normal next week.