Docs!

These are living documents.  They're not perfect, but good enough to
merge into dev.