Isabelle/ecad2a53755a has a first round of updates of the important files for the "Release notes", notably NEWS, CONTRIBUTORS, ANNOUNCE. Now is a good time to check that it is all up-to-date. As usual the ANNOUNCE file is an extract of the NEWS, but importants things might be still missing. Please provide your input. Makarius