Minor documentation edits, no content differences.