Lots of improvements to the doc.