Numerous individually minor doc updates.