EDSP doc: (minor) consistently use 2 blank lines before headings