Moved user-facing documentation into dox files; no content change.