Lots of doc tweaks, including some new documents.