It's done. The index needs redoing, as lots of page numbers have changed, but it's done. We'll release it into the wild as soon as that's done (though that's not a trivial task).
