After the rather troubled update we had last time, I delayed updating the server for a few days this time. But things seem to be stable in this release, so I'm updating now. Should be available in about 30 minutes.