More updates to high-level docs