No need for a separate NEWS section.