Many changes to docs, and some minor fixes.