Summary of changes: 2717694... drop excessive vertical space (*) 110e162... tweak summary (*) 01e8aa9... bump release (*) (*) This commit already existed in another branch; no separate mail sent