Minor post-integration doc updates