November 24 is the traditional Thanksgiving holiday in the US. As is our own tradition, we'll be taking the week off on the theory that we will have eaten too much food to get any useful work done anyway. The front-page stream will be occasionally updated as usual, and we'll be back to normal operations for the December 1 edition. Happy Thanksgiving to all who are celebrating it — and those who aren't as well.

---

to post comments