Minor high-level doc changes.