NEWS updated, many changes moved to CHANGES, which is a manually written change log that contains all user-visible changes.