Documentation pass. Filling in previously undocumented sections.