Finally, I’m on vacation!! I’m planning do to a bunch of stuff around the house, see a couple of movies, sleep, and generally relax. It has been too long since I’ve had any downtime (and these days, a vacation with the family does not necessarily count as “downtime” :-).