On leave

I'm spending December in the beautiful and sunny Costa Rica, so expect fewer posts than usual. Normal service will resume in January.