More generosity with vertical spacing for GitHub readability