NEWS: Add double blank lines before headers