I’m interrupting my Christmas break to tell you that I’m taking a Christmas break. Normal (if that’s the right word) service will resume shortly.
In the meantime, there are some interesting links in the link log (over to the right a bit if you’re on the main page, otherwise use the separate link log page).
Happy Christmas!