release_summary: Maintenance release with some documentation fixes.