Vacation

We're on vacation this week, enjoying the sights of the Grand Duchy of Balconia (i.e. we're staying at home). Updates will occur whenever I feel like it, but that's the usual policy here anyway, so noone should notice anything different.