Lots of final adjustments to the documentation.