Yet more updates to documentation. Nearly finished.