Update CHANGES.txt and manual.