INSTALL: Consistent spacing in section headings, paragraphs and examples