Away for the holidays

Tomorrow I'm off to Florida to start my Christmas vacation. I won't be able to make too many posts during the next ten days -- my parents have just a dial-up connection, and I'll be on the road visiting friends the rest of the time. I might find time to make one or two relatively short posts, but I won't be back to regular blogging until January 4.