More CORE docs. Various formatting changes.