Release 9 going live

[cesy]

It's been quiet for a long time, and I suspect most people are following in other channels, but just to let everyone know, we're about to deploy Release 9, with a few new features and a lot of bug fixes.